Relevant bibliographies by topics / Systèmes de (informatique)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Systèmes de (informatique)'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 January 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Systèmes de (informatique).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Systèmes de (informatique)"

1

Mpia, Héritier Nsenge. "De la vulnérabilité des informations numériques dans les réseaux informatiques : Cas de l'infiltration à travers le rootkit." Revue Internationale Multidisciplinaire Etincelle 21, no. 1 (2018): 1–13. http://dx.doi.org/10.61532/rime211111.

Full text
Abstract:
Les réseaux informatiques constituent un monde complexe dans le domaine du computer science. Cette complexité se justifie par l'explosion des domaines tels que la sécurité informatique, le hacking, le contrôle illicite des PC à distance, etc. L'actualité de ces concepts n'est plus à démontrer dans l'univers des entreprises et des consommateurs de l'informatique. Leur innovation ininterrompue fait naître un regain d'intérêt en informatique et fait émerger d'autres aspects de la programmation : programmation système, programmation réseau. C'est l'émergence des outils des nouvelles technologies de l’information et de la communication (NTIC). Certains de ces outils sont à la base de plusieurs conflits cybernétiques de notre ère et parviennent à mettre en brèche de nombreux systèmes dits sécurisés. Ainsi, ignorer l'existence de ces technologies aussi bien prometteuses que destructives est un danger pour des systèmes informatiques. En ce sens, il est important de connaître leur existence et de prendre des mesures de prévention afin de mettre, tant soit peu, à l'abri des risques les informations, qui sont on ne peut plus vitales pour la vie d'une entreprise.
APA, Harvard, Vancouver, ISO, and other styles
2

Lalande-Gendreau, Claire. "Philosophie d’informatisation et pratique sociale." Service social 36, no. 1 (2005): 111–18. http://dx.doi.org/10.7202/706343ar.

Full text
Abstract:
Le processus d'informatisation au sein des établissements du réseau des Affaires sociales du Québec est amorcé. À l'aide de deux documents d'informatisation : le Plan directeur informatique 1986-1990, du C.S.S.M.M., et Les systèmes d'information au C.L.S.C Pierrefonds, l'auteure présente les enjeux philosophiques ou idéologiques sous-jacents à l'implantation et à l'utilisation d'un système informatisé de cueillette et de traitement de l'information et questionne les retombées d'un tel système sur la pratique professionnelle du service social.
APA, Harvard, Vancouver, ISO, and other styles
3

Boydens, Isabelle. "Les systèmes de méta-information, instruments d'interprétation critique des sources informatiques." History and Computing 8, no. 1 (1996): 11–23. http://dx.doi.org/10.3366/hac.1996.8.1.11.

Full text
Abstract:
Fondée sur I'application de la critique historique aux sources informatiques, l'analyse critique d'une base de données administrative beige illustre les apports et limites de la représentation informatique. Elle montre ainsi l'importance des systémes de metainformation, instruments d'interprétation destinés tant aux utilisateurs qu'aux concepteurs de bases de données.
APA, Harvard, Vancouver, ISO, and other styles
4

Marmaras, Nicolas V. "L’interaction compositeur-ordinateur il y a 25 ans." Circuit 18, no. 1 (2008): 109–20. http://dx.doi.org/10.7202/017912ar.

Full text
Abstract:
Résumé L’article concerne une étude ergonomique sur la composition musicale assistée par ordinateur, effectuée en 1982-1983. Le but était d’étudier l’interaction entre compositeur et ordinateur et de saisir la façon dont cet outil nouveau (à l’époque) affectait le processus compositionnel. Cet article se concentre sur les projets de deux compositeurs, qui travaillaient à l’Ircam avec deux systèmes informatiques différents, et sur les contraintes pragmatiques subies par les compositeurs. L’analyse ergonomique effectuée a montré que le processus compositionnel de deux compositeurs se caractérisait par trois étapes: (i) création d’un espace compositionnel décrit sur le plan du système informatique par un certain nombre de paramètres ; (ii) exploration de l’espace compositionnel afin d’examiner ses possibilités ; (iii) attribution aux paramètres de l’espace sonore des valeurs qui vont produire une musique souhaitable. Dans le cas du premier projet, l’espace compositionnel était constitué des instruments musicaux, dont les paramètres psycho-acoustiques ne pouvaient pas être facilement décrits d’une manière compatible avec les formalismes de l’informatique. Cela avait obligé le compositeur, pendant l’étape de l’exploration de l’espace compositionnel, à entrer dans une situation d’apprentissage, comparable à celle de l’apprentissage d’un instrument de musique. Or, à cause d’une série de contraintes pragmatiques (par exemple, le temps d’écoute différé et la modification discrète des valeurs des paramètres), un tel apprentissage n’a pas pu se réaliser. Par conséquent, le compositeur n’a pas pu réaliser son projet en utilisant le système informatique. Dans le cas du second projet, l’espace compositionnel était défini par le compositeur, sur le plan conceptuel, d’une manière compatible avec les formalismes de l’informatique (règles mathématico-géométriques). Ainsi, et malgré les contraintes pragmatiques subies, le compositeur est arrivé plus facilement à explorer l’espace compositionnel et finalement à créer la musique qu’il souhaitait. Outre son intérêt historique, cette étude peut aussi avoir un intérêt à l’heure actuelle. Les contraintes pragmatiques qui sont présentes dans l’utilisation de tout système informatique peuvent expliquer, au moins en partie, les difficultés éprouvées par les compositeurs qui essaient de réaliser une oeuvre à l’aide d’un système informatique, et leur identification peut indiquer les directions que doit prendre l’amélioration de ce dernier.
APA, Harvard, Vancouver, ISO, and other styles
5

Blili, Samir. "De la démarche d'informatisation comme déterminant de la satisfaction informationnelle : une recherche exploratoire en contexte de P.M.E." Revue internationale P.M.E. 2, no. 1 (2012): 39–56. http://dx.doi.org/10.7202/1007906ar.

Full text
Abstract:
Une soixantaine de gestionnaires répartis dans trente PME manufacturières ont été invités à présenter leurs perceptions relatives au niveau de succès de leur système d’information organisationnel et au déroulement du projet informatique qui a conduit à sa mise en place. Ces données ont été traitées pour analyser la relation qui lie le processus d'informatisation avec la satisfaction informationnelle des utilisateurs. Les conclusions de cette étude tendent à renforcer la nécessité de développer une théorie spécifique de la gestion des systèmes d’information en contexte de PME.
APA, Harvard, Vancouver, ISO, and other styles
6

Rufino, Alain, and André Tricot. "Présentation psychopédagogique du C.D. Rom d’autodocumentation «C.D. Itinéraire»." L’Orientation scolaire et professionnelle 24, no. 4 (1995): 463–80. http://dx.doi.org/10.3406/binop.1995.1124.

Full text
Abstract:
Le «C.D. Itinéraire» est un système d’auto-information multimédia assisté par informatique sur les métiers et les études. Il est développé en collaboration avec l’O.N.I.S.E.P. et la société S.M.S., sur C.D. Rom. Le système complet représentant plus de deux cents métiers de la base «autodoc» est une collection de vingt C.D. Rom, le premier a été publié en Mars 95 et le dernier devrait sortir d’ici Décembre 96. Dans cet article, nous insistons particulièrement sur les principes pédagogiques qui ont guidé notre démarche de conception et sur l’intérêt de l’informatique pour offrir une nouvelle génération de systèmes d’auto-information permettant des consultations interactives et personnalisées.
APA, Harvard, Vancouver, ISO, and other styles
7

Rochon, Yves. "SAGÉE : un développement informatique adapté aux besoins en gestion de l’information de la Direction des évaluations environnementales." Gestion de l’information textuelle 38, no. 2 (2015): 117–26. http://dx.doi.org/10.7202/1028618ar.

Full text
Abstract:
Au ministère des Communications du gouvernement du Québec, on a développé une solution originale pour assister les chargés de projets dans l’analyse et le repérage d’une information abondante et de nature essentiellement textuelle. Le système d’aide à la gestion des évaluations environnementales (SAGÉE) s’appuie sur une combinaison d’approches et de technologies (micro-informatique, système expert, hypertexte, bases de données textuelles et bases de données documentaires, entre autres). Ces solutions répondent à la multiplicité des besoins exprimés et aux caractéristiques des données à gérer. Les systèmes développés sont présentés dans un tableau synoptique qui indique également les investissements techniques et humains consentis ainsi que les bénéfices retirés. Des explications sont fournies sur le Système d’information sur les dossiers de la Direction des évaluations environnementales (SIDDÉE), sur la bibliothèque électronique des documents produits par la Direction, sur la base de données EVALEN destinée à faciliter l’accès aux documents techniques et scientifiques, sur le système d’analyse de textes par ordinateur SATO et finalement sur le système d’aide à l’élaboration de la directive. De nombreux tableaux illustrent le propos.
APA, Harvard, Vancouver, ISO, and other styles
8

Buvet, Pierre-André, Fabienne Moreau, and Max Silberztein. "Procédures de désambiguïsation pour les systèmes de recherche d’information." Revue québécoise de linguistique 32, no. 1 (2006): 177–97. http://dx.doi.org/10.7202/012249ar.

Full text
Abstract:
Résumé Nous discutons de la nécessité de tenir compte de la polysémie nominale pour les systèmes de recherche d’information qui tiennent compte du contenu des textes numérisés. Nous présentons un prototype qui fonctionne en identifiant les substantifs d’un texte donné et en stipulant les domaines qui leur sont rattachés afin de faire ressortir une dominante, et ainsi de procéder au typage du texte en termes de domaine. Ce prototype a pour principale particularité d’utiliser le système intex et de faire appel aux descriptions formalisées du français effectuées au Laboratoire de Linguistique Informatique implémentées sous forme de dictionnaires électroniques et de grammaires locales. Nous montrons comment intex, en s’appuyant sur ces dictionnaires et ces grammaires, peut lever des ambiguïtés relatives à des substantifs.
APA, Harvard, Vancouver, ISO, and other styles
9

Bondiau, PY, S. Marcié, RJ Bensadoun, et al. "P39 Expérience d'un réseau informatique reliant différents systèmes en radiothérapie." Cancer/Radiothérapie 2, no. 5 (1998): 626. http://dx.doi.org/10.1016/s1278-3218(98)80112-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Meiller, Yannick. "La sécurité de l’information devrait être plus présente dans les programmes des écoles de management." Sécurité et stratégie 32, no. 4 (2024): 12–16. http://dx.doi.org/10.3917/sestr.032.0012.

Full text
Abstract:
Titulaire d’un doctorat en Informatique et Intelligence artificielle (systèmes industriels), obtenu à ISAE-Supaéro, Yannick Meiller est professeur à ESCP Europe . Ses travaux de recherche et ses enseignements portent pour l’essentiel sur le numérique et les domaines associés (traitements de l’information, Internet des objets, protection des données à caractère personnel, sécurité, systèmes d’information…), ainsi que sur le management de projets innovants . Il nous explique ici pourquoi la sécurité de l’information est un sujet à enseigner dans les écoles de management .
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Systèmes de (informatique)"

1

Si-Mohammed, Malik. "Systèmes experts et conception de systèmes d'information : assistance à l'étude de l'existant." Toulouse 3, 1990. http://www.theses.fr/1990TOU30218.

Full text
Abstract:
Cette these a trait aux apports des systemes experts en conception de systemes d'information, et en particulier a l'etape d'etude de l'existant. Apres un bref rappel sur les principales notions introduites par les systemes experts, l'auteur s'interesse aux specificites des systemes experts de gestion. Il decrit alors la realisation du systeme expert rubicon, destine a l'aide a la decision d'informatisation des petits entreprises commerciales, avant de generaliser les concepts introduits par rubicon au developpement d'un systeme expert d'audit, de par la generalisation du modele de representation de la connaissance propose et mis en uvre dans rubicon. L'auteur propose ainsi des criteres de qualite de l'information, ainsi qu'une structure appelee matrice d'evolution de l'information, a meme d'etre utilisee dans le developpement d'un systeme expert d'audit, dont l'auteur propose une architecture
APA, Harvard, Vancouver, ISO, and other styles
2

François, Patrice. "Évaluation des systèmes informatiques d'aide à la décision médicale : étude du système Meninge." Université Joseph Fourier (Grenoble), 1990. http://www.theses.fr/1990GRE19007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Salem, Yassine. "L'utilisation des systèmes experts en informatique de gestion." Paris 9, 1992. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1992PA090027.

Full text
Abstract:
Actuellement c'est la programmation procédurale, exprimée à travers les langages impératifs, qui est utilisée pour résoudre les problèmes de gestion. L'objectif de cette thèse est, après une étude comparative entre l'approche déclarative (S. E. : systèmes experts) et l'approche procédurale pour la réalisation des applications de gestion, de proposer, en fonction du problème à résoudre, l'emploi de l'approche la plus apte à produire des programmes économiques à la réalisation et en maintenance. Une proposition des spécifications d'un langage approprié aux problèmes de gestion ainsi que les règles de passage d'un prototype en prolog en son programme cobol équivalent ont été abordées<br>Actually it's the procedural programmation expressed through imperative languages which is used to resolve management problems. The aim of our thesis is to perform a comparative study between declarative approach (E. S. : expert system) and the procedural one to realize management applications and then to propose, according to the nature of the problem, the use of the most efficient method able to produce economic programs in realization and in maintaince. Specifications of problem's management language and rules of prolog prototype transfer to his equivalent Cobol program have been introduced here
APA, Harvard, Vancouver, ISO, and other styles
4

El, Ghazi El Houssaini Souhail. "Notions fondamentales de la théorie des systèmes informatiques." Aix-Marseille 2, 1986. http://www.theses.fr/1986AIX22030.

Full text
Abstract:
L'auteur a realise une etude approfondie des rapports qui existent entre compilateurs et systemes informatiques qui les gerent. Decomposant le champ informatique en deux parties : le fini borne pour les compilateurs et le fini illimite pris en compte par le systeme, il definit un ensemble de notions coherentes qu'il fait apparaitre dans un langage : la procedure formelle symbolique destine a assurer la description complete de l'ensemble : systeme-jeu de compilateurs, etendu au cas general ou ce jeu est extensible
APA, Harvard, Vancouver, ISO, and other styles
5

Courtot, Katherine. "Information cartographique, carroyages et systèmes informatiques." Université Louis Pasteur (Strasbourg) (1971-2008), 1987. http://www.theses.fr/1987STR10029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Renaud, Claude. "Lmac : système de développement d'applications multitâches pour la productique : définition et implémentation." Besançon, 1988. http://www.theses.fr/1988BESA2017.

Full text
Abstract:
On étudie des systèmes de programmation temps réel non spécifiques à la productique après analyse des différents logiciels de programmation de robots et l'insuffisance des possibilités de structuration et de coopérations dans l'atelier amène à définir un système de programmation d'applications multitâches. Celui-ci permet la description de l'aspect informationnel et fonctionnel de l'application.
APA, Harvard, Vancouver, ISO, and other styles
7

Sadde, Gérald. "Sécurité logicielle des systèmes informatiques : aspects pénaux et civils." Montpellier 1, 2003. http://www.theses.fr/2003MON10019.

Full text
Abstract:
De l'instant de l'attaque logicielle contre le système, jusqu'aux conséquences macro-économiques induites, nous suivrons la propagation du dommage et ses implications juridiques en matière d'obligations et de responsabilité. Cela nous donnera tout d'abord l'occasion d'aborder l'aspect répressif de la sécurité au travers de la sanction pénale de l'acte. Mais tout autant nous nous intéresserons aux relations contractuelles qui vont naître de la prévention du dommage, au travers des mesures prises par la victime, le maître du système, pour protéger ses intérêts. Nous envisagerons les recours qui s'offrent non seulement à ce dernier mais aussi aux utilisateurs du système attaqué, qui subiront parfois un préjudice du fait d'une atteinte, à leurs biens, à la qualité d'un service, ou à leur vie privée. Enfin la sécurité informatique est à nos yeux un impératif d'ordre public et ce sont les dommages potentiels à l'économie dans son ensemble qui concluront donc cette étude.
APA, Harvard, Vancouver, ISO, and other styles
8

Singh, Neeraj Kumar. "Fiabilité et sûreté des systèmes informatiques critiques." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10129.

Full text
Abstract:
Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la complexité des logiciels modernes et au manque de connaissances adéquates et propres. Le développement logiciel fournit un cadre contribuant à simplifier la conception de systèmes complexes, afin d'en obtenir une meilleure compréhension et d'assurer une très grande qualité à un coût moindre. Dans les domaines de l'automatique, de la surveillance médicale, de l'avionique..., les systèmes embarqués hautement critiques sont candidats aux erreurs pouvant conduire à des conséquences graves en cas d'échecs. La thèse vise à résoudre ce problème, en fournissant un ensemble de techniques, d'outils et un cadre pour développer des systèmes hautement critiques, en utilisant des techniques formelles à partir de l'analyse des exigences jusqu'à la production automatique de code source, en considérant plusieurs niveaux intermédiaires. Elle est structurée en deux parties: d'une part des techniques et des outils et d'autre part des études de cas. La partie concernant des techniques et des outils présente une structure intégrant un animateur de modèles en temps-réel, un cadre de correction de modèles et le concept de charte de raffinement, un cadre de modélisation en vue de la certification, un modèle du coeur pour la modélisation en boucle fermée et des outils de générations automatiques de code. Ces cadres et outils sont utilisés pour développer les systèmes critiques à partir de l'analyse des exigences jusqu'à la production du code, en vérifiant et en validant les étapes intermédiaires en vue de fournir un modèle formel correct satisfaisant les propriétés souhaitées attendues au niveau le plus concret. L'introduction de nouveaux outils concourt à améliorer la vérification des propriétés souhaitées qui ne sont pas apparentes aux étapes initiales du développement du système. Nous évaluons les propositions faites au travers de cas d'études du domaine médical et du domaine des transports. De plus, le travail de cette thèse a étudié la représentation formelle des protocoles médicaux, afin d'améliorer les protocoles existants. Nous avons complètement formalisé un protocole réel d'interprétation des ECG, en vue d'analyser si la formalisation était conforme à certaines propriétés relevant du protocole. Le processus de vérification formelle a mis en évidence des anomalies dans les protocoles existants. Nous avons aussi découvert une structure hiérarchique pour une interprétation efficace permettant de découvrir un ensemble de conditions qui peuvent être utiles pour diagnostiquer des maladies particulières à un stade précoce. L'objectif principal du formalisme développé est de tester la correction et la consistance du protocole médical<br>Software systems are pervasive in all walks of our life and have become an essential part of our daily life. Information technology is one major area, which provides powerful and adaptable opportunities for innovation, and it seems boundless. However, systems developed using computer-based logic have produced disappointing results. According to stakeholders, they are unreliable, at times dangerous, and fail to provide the desired outcomes. Most significant reasons of system failures are the poor development practices for system development. This is due to the complex nature of modern software and lack of adequate and proper understanding. Software development provides a framework for simplifying the complex system to get a better understanding and to develop the higher fidelity quality systems at lower cost. Highly embedded critical systems, in areas such as automation, medical surveillance, avionics, etc., are susceptible to errors, which can lead to grave consequences in case of failures. This thesis intends to contribute to further the use of formal techniques for the development computing systems with high integrity. Specifically, it addresses that formal methods are not well integrated into established critical systems development processes by defining a new development life-cycle, and a set of associated techniques and tools to develop highly critical systems using formal techniques from requirements analysis to automatic source code generation using several intermediate layers with rigorous safety assessment approach. The approach has been realised using the Event-B formalism. This thesis has mainly two parts: techniques and tools and case studies. The techniques and tools section consists of development life-cycle methodology, a framework for real-time animator, refinement chart, a set of automatic code generation tools and formal logic based heart model for close loop modeling. New development methodology, and a set of associated techniques and tools are used for developing the critical systems from requirements analysis to code implementation, where verification and validation tasks are used as intermediate layers for providing a correct formal model with desired system behavior at the concrete level. Introducing new tools help to verify desired properties, which are hidden at the early stage of the system development. We also critically evaluate the proposed development methodology and developed techniques and tools through case studies in the medical and automotive domains. In addition, the thesis work tries to address the formal representation of medical protocols, which is useful for improving the existing medical protocols. We have fully formalised a real-world medical protocol (ECG interpretation) to analyse whether the formalisation complies with certain medically relevant protocol properties. The formal verification process has discovered a number of anomalies in the existing protocols. We have also discovered a hierarchical structure for the ECG interpretation efficiently that helps to find a set of conditions that can be very helpful to diagnose particular disease at the early stage. The main objective of the developed formalism is to test correctness and consistency of the medical protocol
APA, Harvard, Vancouver, ISO, and other styles
9

Verlan, Serghei. "Systèmes de Head et applications à la bio-informatique." Metz, 2004. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2004/Verlan.Serghei.SMZ0404.pdf.

Full text
Abstract:
Ce travail se situe au coeur d'un domaine récent : les calculs (bio)moléculaires qui se place à la rencontre de la biologie et de l'informatique. La recherche dans ce domaine porte sur des modèles de calcul ayant une inspiration biologique. Les systèmes de Head, fondés sur l'opération de la recombinaison, ainsi que leurs extensions représentent des modèles de calcul parmi les plus importants du domaine. Nous nous sommes concentrés sur l'étude de différentes extensions des systèmes de Head en présentant souvent des résultats d'universalité optimaux par rapport aux paramètres principaux de ces systèmes ce qui a permis d'établir plusieurs frontières entre la décidabilité et l'indécidabilité pour ces extensions. De plus, nous avons trouvé certains traits communs de ces systèmes et nous avons conçu une méthode générique permettant de démontrer facilement des équivalences avec des modèles de calcul classiques. Nous avons aussi considéré les systèmes à membranes qui sont inspirés par la structure et le fonctionnement de la cellule vivante. Nous nous sommes particulièrement intéressés à la combinaison de ces modèles et les systèmes de Head : les systèmes à membranes avec recombinaison et nous avons résolu une série des problèmes ouverts pour ces systèmes. Ce travail manipule des notions fondamentales de la théorie de la calculabilité et du calcul moléculaire et donne des solutions à certains problèmes importants de ce dernier domaine en posant dans le même temps plusieurs questions intéressantes<br>This work is situated in the heart of a recent domain: (bio)molecular computing, which is a domain where biology and computer science meet. This domain investigates models of computing having biological inspiration. Head splicing systems, based on the splicing operation, as well as their extensions are one of the most important models of computing in this domain. We concentrated on the study of different extensions of Head systems by showing often optimal universality results with respect to main parameters of these systems what permitted us to establish several frontiers between decidability and undecidability for these extensions. Moreover, we found several common features of these systems and we designed a generic method that permits to prove easily equivalences with classical models of computing. We also considered membrane systems that are inspired by the structure and the functioning of a living cell. We were particularly interested in the combination of these models and Head systems: splicing membrane systems and we solved a number of open problems for these systems. This work manipulates fundamental notions of the theory of computing and of the molecular computing. It gives solutions to certain important open problems of the last domain and it poses at the same time several interesting questions
APA, Harvard, Vancouver, ISO, and other styles
10

Serme, Gabriel. "Modularisation de la sécurité informatique dans les systèmes distribués." Thesis, Paris, ENST, 2013. http://www.theses.fr/2013ENST0063/document.

Full text
Abstract:
Intégrer les problématiques de sécurité au cycle de développement logiciel représente encore un défi à l’heure actuelle, notamment dans les logiciels distribués. La sécurité informatique requiert des connaissances et un savoir-faire particulier, ce qui implique une collaboration étroite entre les experts en sécurité et les autres acteurs impliqués. La programmation à objets ou à base de composants est communément employée pour permettre de telles collaborations et améliorer la mise à l’échelle et la maintenance de briques logicielles. Malheureusement, ces styles de programmation s’appliquent mal à la sécurité, qui est un problème transverse brisant la modularité des objets ou des composants. Nous présentons dans cette thèse plusieurs techniques de modularisation pour résoudre ce problème. Nous proposons tout d’abord l’utilisation de la programmation par aspect pour appliquer de manière automatique et systématique des techniques de programmation sécurisée et ainsi réduire le nombre de vulnérabilités d’une application. Notre approche se focalise sur l’introduction de vérifications de sécurité dans le code pour se protéger d’attaques comme les manipulations de données en entrée. Nous nous intéressons ensuite à l’automatisation de la mise en application de politiques de sécurité par des techniques de programmation. Nous avons par exemple automatisé l’application de règles de contrôle d’accès fines et distribuées dans des web services par l’instrumentation des mécanismes d’orchestration de la plate-forme. Nous avons aussi proposé des mécanismes permettant l’introduction d’un filtrage des données à caractère privée par le tissage d’aspects assisté par un expert en sécurité<br>Addressing security in the software development lifecycle still is an open issue today, especially in distributed software. Addressing security concerns requires a specific know-how, which means that security experts must collaborate with application programmers to develop secure software. Object-oriented and component-based development is commonly used to support collaborative development and to improve scalability and maintenance in software engineering. Unfortunately, those programming styles do not lend well to support collaborative development activities in this context, as security is a cross-cutting problem that breaks object or component modules. We investigated in this thesis several modularization techniques that address these issues. We first introduce the use of aspect-oriented programming in order to support secure programming in a more automated fashion and to minimize the number of vulnerabilities in applications introduced at the development phase. Our approach especially focuses on the injection of security checks to protect from vulnerabilities like input manipulation. We then discuss how to automate the enforcement of security policies programmatically and modularly. We first focus on access control policies in web services, whose enforcement is achieved through the instrumentation of the orchestration mechanism. We then address the enforcement of privacy protection policies through the expert-assisted weaving of privacy filters into software. We finally propose a new type of aspect-oriented pointcut capturing the information flow in distributed software to unify the implementation of our different security modularization techniques
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Systèmes de (informatique)"

1

Deweze, André. Informatique documentaire. 2nd ed. Masson, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mitilian, Gérard. Informatique: Méthode d'analyse pour la gestion et l'informatique. Edition Marketing, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jan, Christophe. La sécurité informatique. Eyrolles, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Proth, J. M. Systèmes flexibles de production: Conception préliminaire. Masson, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ernst, Christian. Introduction aux systèmes experts de gestion. 3rd ed. Eyrolles, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Alain, Bonnet, ed. Systèmes-experts: Vers la maître technique. InterÉditions, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fenoulière, Philippe. Vers une informatique ouverte: Enjeux et infrastructures. Hermès Science, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gaston, S. J. Les petits systèmes informatiques: Contrôle et vérification. Institut canadien des comptables agréés, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Claviez, Jacques. Sécurité informatique et virus: Mainframes, minis, micros. Eyrolles, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lasfargue, Yves. Vivre l'informatique: Micro-informatique, bureautique, robotique, télématique. Vermette, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Systèmes de (informatique)"

1

Trolliard, Patrice, David Bandon, Antoine Geissbühler, and Christian Lovis. "Systèmes d’information cliniques: le défi de l’intégration de systèmes commerciaux." In Informatique et Santé. Springer Paris, 2009. http://dx.doi.org/10.1007/978-2-287-99305-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Degoulet, P. "Les systèmes d’information hospitaliers." In Informatique médicale, e-Santé. Springer Paris, 2013. http://dx.doi.org/10.1007/978-2-8178-0338-8_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lovis, Christian. "Systèmes d’informations cliniques: au coeur des informatiques hospitalières." In Informatique et Santé. Springer Paris, 2009. http://dx.doi.org/10.1007/978-2-287-99305-3_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Avillach, Paul, Jean-Charles Dufour, Michel Joubert, and Marius Fieschi. "Peut-on concilier les processus mis en œuvre dans les systèmes d’information hospitaliers et les systèmes d’information de recherche clinique pour le partage d’information?" In Informatique et Santé. Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Goetz, Christophe, Aurélien Zang, and Nicolas Jay. "Apports d’une méthode de fouille de données pour la détection des cancers du sein incidents dans les données du programme de médicalisation des systèmes d’information." In Informatique et Santé. Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bertaud-Gounot, Valérie, Valery Donfack Guefack, Eric Brillet, and Régis Duvauferrier. "Les technologies du web sémantique pour un renouveau des systèmes experts en médecine. Principes, problèmes et propositions à partir de l’exemple du myélome dans le NCI-T." In Informatique et Santé. Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Delisle, Élisabeth, Fabienne Langlois, Pierre-Luc Grégoire, Boucif Amar Bensaber, and Andrew Grant. "Système d’aide à la décision clinique interactif: Les facteurs de réussite." In Informatique et Santé. Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bernonville, Stéphanie, Radja Messai, Romaric Marcilly, et al. "Développement et exploitation d’une taxonomie visant l’aide à la conception d’un système d’aide à la décision médicamenteuse contextualisé." In Informatique et Santé. Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Vessière, Sophie, Stéphanie Jullien, Philippe Rouger, and Pascal Staccini. "Évaluation du portfolio électronique et de son système d’accompagnement dédié à l’évaluation des pratiques professionnelles en technique et médecin e transfusionnelles." In Informatique et Santé. Springer Paris, 2009. http://dx.doi.org/10.1007/978-2-287-99305-3_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bouaud, Jacques, Joseph Gligorov, Émile Daraï, et al. "Catégorisation des décisions hors «référentiel de pratiques cliniques»: Une application à la prise en charge des cancers du sein avec le système OncoDoc2." In Informatique et Santé. Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Systèmes de (informatique)"

1

Galarreta, Daniel. "Une approche sémiotique du contexte pour les systèmes pervasifs." In the Ergonomie et Informatique Avancee Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868664.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Serna, Audrey, Hélène Pigot, Jérémy Bauchet, et al. "Recommandations ergonomiques pour la conception de systèmes d'assistance cognitive dans les habitats intelligents." In the Ergonomie et Informatique Avancee Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868652.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Larrasquet, Jean-Michel, and Iban Lizarralde. "Complexité, systèmes et apprentissages. Une réflexion liée à la conception et à l'innovation." In the Ergonomie et Informatique Avancee Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868670.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Petit, Eric, and Denis Chêne. "Navigation adaptative dans les systèmes interactifs : paradigme et solution." In ErgoIA'2021: 17ème Conférence en Ergonomie et Informatique Avancée. ACM, 2021. http://dx.doi.org/10.1145/3486812.3486842.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ruault, Jean-René, and Claude Pourcel. "Marketing, ergonomie et ingénierie système." In the Ergonomie et Informatique Avancee Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868687.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Camara, Fatoumata, Rachel Demumieux, Gaëlle Calvary, and Nadine Mandran. "Cocoon, un système de recommandation sensible au contexte." In the Ergonomie et Informatique Avancee Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868685.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Baas, Maxime, Yohan Guerrier, Christophe Kolski, and Franck Poirier. "Système de saisie de texte visant à réduire l'effort des utilisateurs à handicap moteur." In the Ergonomie et Informatique Avancee Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868654.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Caire, J. "Vers un cycle de vie de sécurité globale pour les systèmes informatiques industriels." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Antoni, M., and B. Guyot. "Cahier des charges de maintenabilité et testabilité pour un système informatique critique." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56193.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Decroix, H., and J. Mcdonald. "Modélisation de la fiabilité des systèmes informatiques utilisés pour exploiter des réseaux électriques intelligents : défis et opportunités." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56192.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Systèmes de (informatique)"

1

Forster, P., and J. Stapledon. Système informatique de planification et de gestion. Natural Resources Canada/CMSS/Information Management, 1992. http://dx.doi.org/10.4095/330363.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Langlais, Pierre-Carl. Infrastructures de science ouverte. Comité pour la science ouverte, 2024. https://doi.org/10.52949/76.

Full text
Abstract:
Le paysage des infrastructures ouvertes est fortement décentralisé. Bien qu’il existe quelques géants du secteur, la plupart des infrastructures sont de petite taille et disposent de budgets limités (moins de 50 000 EUR par an). Cet écosystème a beau être diversifié, il demeure fortement intégré : la plupart des infrastructures appartiennent à un milieu plus vaste de communs universitaires, avec des interactions privilégiées à travers des services gratuits (ORCID, DataCite), des logiciels gratuits (OJS) ou des projets de connaissance ouverte (Wikidata). La création d’infrastructures de science ouverte est devenue techniquement possible après l’apparition du World Wide Web. Des infrastructures informatiques scientifiques existent depuis les années 1960, mais elles étaient généralement inaccessibles aux utilisateurs finaux. La diffusion électronique d’articles, de bases de données et d’autres productions scientifiques s’est rapidement développée après 1990, ce qui a suscité des inquiétudes croissantes quant à la durabilité des projets de recherche en ligne. Après cette période initiale d’expansion rapide et incontrôlée, les années 2000 furent marquées par un mouvement de consolidation, les grands projets ayant pu obtenir des financements récurrents. De nombreuses initiatives sont apparues après 2015 pour mieux définir, soutenir et protéger les infrastructures de science ouverte, tandis que les grands éditeurs commerciaux commençaient à acquérir des infrastructures communes critiques telles que les référentiels ouverts. Inspiré par la théorie d’Elinor Ostrom sur la gestion des ressources communes, l’ouvrage « Principles for Open Scholarly Infrastructure » (Principes pour les infrastructures savantes ouvertes) fit autorité en dressant une liste de recommandations sur la durabilité, la gouvernance collaborative et le financement des infrastructures ouvertes. À leur tour, ces Principes influencèrent les rapports, politiques et initiatives marquants dans ce domaine. En 2022, les grandes infrastructures scientifiques historiques avaient adopté la science ouverte comme partie intégrante de leur activité et de leur identité. Cette démarche est devenue un sujet de débat essentiel pour l’avenir de la recherche, tout comme la conversion du système de publication : en 2021, en réaction au Plan S de la cOAlition S, un collectif de chercheurs a lancé un appel en faveur d’un Plan I (ou Plan Infrastructure).
APA, Harvard, Vancouver, ISO, and other styles
3

Langlais, Pierre-Carl. Données de recherche ouvertes. Comité pour la science ouverte, 2024. https://doi.org/10.52949/70.

Full text
Abstract:
La non-ouverture des données scientifiques pèse sur les budgets. On estime qu’une part importante des connaissances scientifiques disparaît chaque année. Selon une étude réalisée en 2014, moins de 50 % des jeux de données biologiques datant des années 1990 ont été récupérés, au prix d’un investissement élevé en temps et en efforts. À titre de comparaison, 98 % des jeux de données publiés dans PLOS avec des identifiants uniques (DOI) sont toujours disponibles pour les futures recherches. Les données scientifiques ouvertes sont des ressources fondamentales pour un grand nombre d’activités de recherche, comme la méta-analyse, la reproduction des résultats ou l’accessibilité des sources primaires. De plus, leur valeur économique et sociale est importante, car les données scientifiques sont fréquemment exploitées par des professionnels non universitaires, des agences publiques et des organisations à but non lucratif. Pourtant, les données scientifiques ouvertes impliquent certains coûts. Rendre les données à la fois téléchargeables et exploitables nécessite d’importants investissements en matière de documentation, de nettoyage des données, de licences et d’indexation. Il n’est pas possible de partager toutes les données scientifiques, et des contrôles sont souvent nécessaires pour vérifier l’absence d’informations personnelles ou de contenu soumis à droit d’auteur. Pour être efficace, le partage des données doit être anticipé tout au long du cycle de vie de la recherche. Les nouveaux principes de gestion des données scientifiques visent à formaliser les cultures de données observées dans les communautés scientifiques et à appliquer des normes communes. Initialement publiés en 2016, les principes FAIR (Facilité à trouver, Accessibilité, Interopérabilité et Réutilisabilité) constituent un cadre de référence pour l’ouverture des données scientifiques. Les politiques en faveur du partage des données sont passées d’un discours général d’encouragement au développement concret de services dédiés. Les premières initiatives remontent aux infrastructures informatiques pionnières : en 1957, le système WDC (World Data Center) visait à rendre facilement accessibles un large panel de données scientifiques. Les programmes de données ouvertes étaient pourtant sévèrement limités par les lacunes techniques et les incompatibilités lors des transferts. Après 1991, le Web a fourni un cadre universel pour l’échange de données et entraîné une expansion massive des bases de données scientifiques. Et pourtant, bien des projets ont rencontré des problèmes critiques de durabilité à long terme. Les infrastructures de science ouverte sont récemment devenues des vecteurs clés de la diffusion et de la gestion des données scientifiques ouvertes. Les référentiels assurent la conservation et la découvrabilité des ressources scientifiques. Les données qu’ils hébergent sont plus fréquemment utilisées et citées que celles publiées dans les fichiers supplémentaires.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography