Littérature scientifique sur le sujet « Computer safety »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Computer safety ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Computer safety"
MUKAIDONO, Masao. « Computer Safety and Functional Safety ». IEICE ESS FUNDAMENTALS REVIEW 4, no 2 (2010) : 129–35. http://dx.doi.org/10.1587/essfr.4.129.
Texte intégralGorodetskii, V. I., I. V. Kotenko et R. M. Yusupov. « Computer networks safety ». Herald of the Russian Academy of Sciences 76, no 4 (juillet 2006) : 396–98. http://dx.doi.org/10.1134/s1019331606040137.
Texte intégralNestler, Simon. « Safety-critical human computer interaction ». it - Information Technology 61, no 1 (25 février 2019) : 67–70. http://dx.doi.org/10.1515/itit-2018-0037.
Texte intégralWalczak, Andrzej, et Karol Antczak. « Patient Safety versus Computer Diagnosis ». MATEC Web of Conferences 76 (2016) : 04006. http://dx.doi.org/10.1051/matecconf/20167604006.
Texte intégralZalewski, Janusz. « Safety of Computer Control System ». IFAC Proceedings Volumes 34, no 22 (novembre 2001) : 53. http://dx.doi.org/10.1016/s1474-6670(17)32911-7.
Texte intégralZalewski, Janusz. « Safety aspects of computer control ». Control Engineering Practice 3, no 3 (mars 1995) : 439–40. http://dx.doi.org/10.1016/0967-0661(95)90073-x.
Texte intégralCao, Yuan, Hongkang Lu et Tao Wen. « A Safety Computer System Based on Multi-Sensor Data Processing ». Sensors 19, no 4 (17 février 2019) : 818. http://dx.doi.org/10.3390/s19040818.
Texte intégralChen, Li-Shan, Yen-Ming Tseng et Xiao-Na Lin. « Artificial intelligence in safety system ». MATEC Web of Conferences 185 (2018) : 00009. http://dx.doi.org/10.1051/matecconf/201818500009.
Texte intégralSingh, Lalit Kumar, et Hitesh Rajput. « Ensuring safety in design of safety critical computer based systems ». Annals of Nuclear Energy 92 (juin 2016) : 289–94. http://dx.doi.org/10.1016/j.anucene.2016.02.002.
Texte intégralZhang, Yuzhuo, Chunhua Hong, Yuan Cao, Lianchuan Ma et Yinghong Wen. « Safety Mechanism Design and Verification of Safety Computer Parallel Program ». Chinese Journal of Electronics 27, no 6 (1 novembre 2018) : 1163–69. http://dx.doi.org/10.1049/cje.2018.02.016.
Texte intégralThèses sur le sujet "Computer safety"
Simpson, Andrew C. « Safety through security ». Thesis, University of Oxford, 1996. http://ora.ox.ac.uk/objects/uuid:4a690347-46af-42a4-91fe-170e492a9dd1.
Texte intégralConmy, Philippa Mary. « Safety analysis of computer resource management software ». Thesis, University of York, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428494.
Texte intégralAn, Hong. « Computer-aided applications in process plant safety ». Thesis, Loughborough University, 2010. https://dspace.lboro.ac.uk/2134/6418.
Texte intégralWang, Yuan-Fang. « Computer Vision Analysis for Vehicular Safety Applications ». International Foundation for Telemetering, 2015. http://hdl.handle.net/10150/596451.
Texte intégralIn this paper, we present our research on using computer-vision analysis for vehicular safety applications. Our research has potential applications for both autonomous vehicles and connected vehicles. In particular, for connected vehicles, we propose three image analysis algorithms that enhance the quality of a vehicle's on-board video before inter-vehicular information exchange takes place. For autonomous vehicles, we are investigating a visual analysis scheme for collision avoidance during back up and an algorithm for automated 3D map building. These algorithms are relevant to the telemetering domain as they involve determining the relative pose between a vehicle and other vehicles on the road, or between a vehicle and its 3D driving environment, or between a vehicle and obstacles surrounding the vehicle.
Reyad, Passant. « Application of computer vision techniques in safety diagnosis and evaluation of safety treatments ». Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/59701.
Texte intégralApplied Science, Faculty of
Graduate
Pumfrey, David John. « The principled design of computer system safety analyses ». Thesis, University of York, 1999. http://etheses.whiterose.ac.uk/9797/.
Texte intégralAkritidis, Periklis. « Practical memory safety for C ». Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609600.
Texte intégralFaulkner, Alastair. « Data integrity : an often-ignored aspect of safety systems : executive summary ». Thesis, University of Warwick, 2004. http://wrap.warwick.ac.uk/1212/.
Texte intégralDheedan, Amer Abdaladeem. « Distributed on-line safety monitor based on safety assessment model and multi-agent system ». Thesis, University of Hull, 2012. http://hydra.hull.ac.uk/resources/hull:6065.
Texte intégralGraydon, Iain R. « Comprehension of 500 safety words : a computer-based methodology ». Thesis, Aston University, 1986. http://publications.aston.ac.uk/12307/.
Texte intégralLivres sur le sujet "Computer safety"
Understanding computer safety. Chicago, Illinois : Capstone Heinemann Library, 2015.
Trouver le texte intégralSafety-critical computer systems. Harlow, England : Addison-Wesley, 1996.
Trouver le texte intégralBoulanger, Jean-Louis. Safety of computer architectures. London, UK : ISTE, 2010.
Trouver le texte intégralSafety of computer architectures. London, UK : ISTE, 2010.
Trouver le texte intégralHabli, Ibrahim, Mark Sujan et Friedemann Bitsch, dir. Computer Safety, Reliability, and Security. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-83903-1.
Texte intégralTrapp, Mario, Francesca Saglietti, Marc Spisländer et Friedemann Bitsch, dir. Computer Safety, Reliability, and Security. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-14835-4.
Texte intégralPasquini, Alberto. Computer Safety, Reliability and Security. Sous la direction de Massimo Felici et Karama Kanoun. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48249-0.
Texte intégralSchoitsch, Erwin, dir. Computer Safety, Reliability, and Security. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15651-9.
Texte intégralKoornneef, Floor, et Meine van der Meulen, dir. Computer Safety, Reliability and Security. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40891-6.
Texte intégralTonetta, Stefano, Erwin Schoitsch et Friedemann Bitsch, dir. Computer Safety, Reliability, and Security. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66266-4.
Texte intégralChapitres de livres sur le sujet "Computer safety"
Cook, Byron, Andreas Podelski et Andrey Rybalchenko. « Terminator : Beyond Safety ». Dans Computer Aided Verification, 415–18. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11817963_37.
Texte intégralRusu, Vlad, Hervé Marchand, Valéry Tschaen, Thierry Jéron et Bertrand Jeannet. « From Safety Verification to Safety Testing ». Dans Lecture Notes in Computer Science, 160–76. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24704-3_11.
Texte intégralWeik, Martin H. « safety message ». Dans Computer Science and Communications Dictionary, 1511. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_16561.
Texte intégralWeik, Martin H. « safety ring ». Dans Computer Science and Communications Dictionary, 1511. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_16563.
Texte intégralWeik, Martin H. « safety signal ». Dans Computer Science and Communications Dictionary, 1511. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_16564.
Texte intégralWeik, Martin H. « safety traffic ». Dans Computer Science and Communications Dictionary, 1511. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_16565.
Texte intégralJaffar, Joxan, Andrew E. Santosa et Răzvan Voicu. « Relative Safety ». Dans Lecture Notes in Computer Science, 282–97. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11609773_19.
Texte intégralLal, Ratan, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri et Pavithra Prabhakar. « Formally Verified Switching Logic for Recoverability of Aircraft Controller ». Dans Computer Aided Verification, 566–79. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_27.
Texte intégralBaro, Sylvain. « A High-Availability Safety Computer ». Dans Security of Computer Architectures, 425–46. Hoboken, NJ, USA : John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118600696.ch11.
Texte intégralVan de Velde, Rudi. « Computer Safety in Healthcare Systems ». Dans Hospital Information Systems — The Next Generation, 82–87. Berlin, Heidelberg : Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-642-77617-5_9.
Texte intégralActes de conférences sur le sujet "Computer safety"
Hill, Janice, et Rhoda Baggs. « Software safety risk in legacy safety-critical computer systems ». Dans Proceedings 2007 IEEE SoutheastCon. IEEE, 2007. http://dx.doi.org/10.1109/secon.2007.342891.
Texte intégralTangming Yuan et Tianhua Xu. « Computer System Safety Argument Schemes ». Dans 2010 Second World Congress on Software Engineering (WCSE 2010). IEEE, 2010. http://dx.doi.org/10.1109/wcse.2010.37.
Texte intégralWisniewski, Pamela J., Heng Xu, Mary Beth Rosson et John M. Carroll. « Adolescent online safety ». Dans CSCW'14 : Computer Supported Cooperative Work. New York, NY, USA : ACM, 2014. http://dx.doi.org/10.1145/2531602.2531696.
Texte intégralOzarin, Nathaniel. « Developing Rules for Failure Modes and Effects Analysis of Computer Software ». Dans Advances in Aviation Safety. 400 Commonwealth Drive, Warrendale, PA, United States : SAE International, 2003. http://dx.doi.org/10.4271/2003-01-2987.
Texte intégralHu, Dong, Dong Zhou et Ping Li. « Research on Hardware Built-in Computer Safety ». Dans 2006 International Conference on Communications, Circuits and Systems. IEEE, 2006. http://dx.doi.org/10.1109/icccas.2006.284976.
Texte intégralNEUMANN, PETER. « Safety of computer systems in aerospace applications ». Dans 7th Computers in Aerospace Conference. Reston, Virigina : American Institute of Aeronautics and Astronautics, 1989. http://dx.doi.org/10.2514/6.1989-3121.
Texte intégralWhite, D. B., M. Weishaupt et D. J. Kent. « A Computer Monitoring System Improves Rig Safety ». Dans SPE Health, Safety and Environment in Oil and Gas Exploration and Production Conference. Society of Petroleum Engineers, 1991. http://dx.doi.org/10.2118/23249-ms.
Texte intégralRamaiah, P. Seetha, M. Ben Swarup et K. Raja Kumar. « Conceptual Modeling for Safety Critical Computer Systems ». Dans 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. IEEE, 2008. http://dx.doi.org/10.1109/snpd.2008.96.
Texte intégralSchwamm, Friedrich. « FADEC Computer Systems for Safety Critical Application ». Dans ASME 1998 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/98-gt-170.
Texte intégralLeveson, Nancy G. « System Safety in Computer-Controlled Automotive Systems ». Dans SAE 2000 World Congress. 400 Commonwealth Drive, Warrendale, PA, United States : SAE International, 2000. http://dx.doi.org/10.4271/2000-01-1048.
Texte intégralRapports d'organisations sur le sujet "Computer safety"
Espinosa, D. L., W. F. Fields, D. E. Gittins et M. L. Roberts. B190 computer controlled radiation monitoring and safety interlock system. Office of Scientific and Technical Information (OSTI), août 1998. http://dx.doi.org/10.2172/3643.
Texte intégralDr. Bradley J Schrader. Radiological Safety Analysis Computer (RSAC) Program Version 7.2 Users ? Manual. Office of Scientific and Technical Information (OSTI), octobre 2010. http://dx.doi.org/10.2172/1004248.
Texte intégralGorski, Janusz. The 12th International Conference on Computer Safety, Reliability and Security. Fort Belvoir, VA : Defense Technical Information Center, octobre 1993. http://dx.doi.org/10.21236/ada278165.
Texte intégralDr. Bradley J Schrader. Radiological Safety Analysis Computer (RSAC) Program Version 7.0 Users ? Manual. Office of Scientific and Technical Information (OSTI), mars 2009. http://dx.doi.org/10.2172/950986.
Texte intégralGill, Janet A. Flight Control Computer Development Through Application of Software Safety Technology,. Fort Belvoir, VA : Defense Technical Information Center, octobre 1995. http://dx.doi.org/10.21236/ada305293.
Texte intégralCaldwell, John A., Jones Jr., Carter Heber D., Caldwell David J. et J. L. The Relationship Between Computer Scoring and Safety-Pilot Grading of Flight Performance. Fort Belvoir, VA : Defense Technical Information Center, juillet 1992. http://dx.doi.org/10.21236/ada256245.
Texte intégralFalkov, A. A., V. S. Kuul et O. B. Samoilov. Experimental assessment of computer codes used for safety analysis of integral reactors. Office of Scientific and Technical Information (OSTI), septembre 1995. http://dx.doi.org/10.2172/115099.
Texte intégralSmith, O., J. Renier, F. Difilippo, N. Clapp, A. Sozer, R. Booth, W. Craddick et D. Morris. PWR hybrid computer model for assessing the safety implications of control systems. Office of Scientific and Technical Information (OSTI), mars 1986. http://dx.doi.org/10.2172/5832266.
Texte intégralWenzel, D. R. The Radiological Safety Analysis Computer Program (RSAC-5) user`s manual. Revision 1. Office of Scientific and Technical Information (OSTI), février 1994. http://dx.doi.org/10.2172/10157789.
Texte intégralPevnitsky, A. V., V. A. Tarasov et V. P. Solovyev. Comparison between VNIIEF computer programs used to study NPP safety and similar western codes. Office of Scientific and Technical Information (OSTI), décembre 1995. http://dx.doi.org/10.2172/219462.
Texte intégral