|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8688 occurrences of 3331 keywords
|
|
|
Results
Found 31108 publication records. Showing 31108 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Jeronimo Dzaack, Leon Urbas |
Multilevel Analysis of Human Performance Models in Safety-Critical Systems. |
HCI (11) |
2009 |
DBLP DOI BibTeX RDF |
multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models |
32 | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
SoftBound: highly compatible and complete spatial memory safety for c. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
spatial memory safety, c, buffer overflows |
32 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Probabilistic Failure Propagation and Transformation Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
failure, probabilistic analysis, component-based system, safety analysis |
32 | Christian Denger, Mario Trapp, Peter Liggesmeyer |
SafeSpection - A Systematic Customization Approach for Software Hazard Identification. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety |
32 | Kathryn Rapala, Julie Cowan Novak |
Clinical Patient Safety - Achieving High Reliability in a Complex System. |
HCI (12) |
2007 |
DBLP DOI BibTeX RDF |
failure mode event analysis, high reliability organization, simulation, education, human factors, culture, root cause analysis, patient safety, work complexity |
32 | Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae |
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
safety property analysis, LTS, slice model, embedded system |
32 | Gregor Snelting, Torsten Robschink, Jens Krinke |
Efficient path conditions in dependence graphs for software safety analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
program slicing, information flow control, Safety analysis, path condition |
32 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand |
Safety Property Driven Test Generation from. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language |
32 | Jerker Hammarberg, Simin Nadjm-Tehrani |
Formal verification of fault tolerance in safety-critical reconfigurable modules. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel |
32 | Lawrence W. Hill |
Equipment safety in the wireless networking laboratory environment. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
MPE, electromagnetic radiation, wireless networking, safety, 802.11, IT education, laboratory, laser |
32 | Roderick Chapman, Adrian Hilton 0002 |
Enforcing security and safety models with an information flow analysis tool. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow |
32 | Hermann Kopetz |
On the Fault Hypothesis for a Safety-Critical Real-Time System. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems |
32 | Shlomi Dolev, Frank A. Stomp |
Safety assurance via on-line monitoring. |
Distributed Comput. |
2003 |
DBLP DOI BibTeX RDF |
Distributed systems, Monitors, Safety properties |
32 | Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita |
Improving Safety Assessment of Complex Systems: An Industrial Case Study. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Formal Verification and Safety Assessment of Complex Systems, Automated Fault Tree Computation, ESACS |
32 | Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè |
Using symbolic execution for verifying safety-critical systems. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
verification, formal methods, C, symbolic execution, safety-critical system |
32 | Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke |
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
coordinated atomic (CA) actions, reliability and safety, model checking, Concurrency, object orientation, formal verification, exception handling, reactive systems |
32 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
32 | Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai |
Design for Constraint Violation Detection in Safety-Critical Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
design patterns, object-oriented design, Safety-critical systems, implantable medical devices |
31 | Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris |
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Wolfgang A. Halang, Sias Mostert |
Composing Dependable Real Time Software of Function Blocks. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
Safety related automation, function block diagrams, data flow languages, safety licensing of software, diverse back translation, schedulability analysis |
31 | Mats Per Erik Heimdahl, David J. Keenan |
Generating Code from Hierarchical State-Based Requirements. |
RE |
1997 |
DBLP DOI BibTeX RDF |
hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML |
31 | David Pager |
The design and implementation of an automatic computer-controlled infusion pump. |
CBMS |
1997 |
DBLP DOI BibTeX RDF |
biomedical equipment, automatic computer controlled infusion pump, oxytocin, software safety issues, timed pulses, mathematical algorithms, undesirable patient parameters, excessively high intrauterine pressure, constant intrauterine pressure, hardware safety issues, contractions, system reliability |
30 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination criteria for solving concurrent safety and reachability games. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Seonghee Jeong, Yoshihiro Nakabo, Takuya Ogure, Yoji Yamada |
Development of a direct teaching system for a cooperative cell-production robot considering safety and operability. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Enzhi Li |
Research on Establishment of Evaluation Model of Accounting for Safety Resources Based on Technology of Data Mining. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Fredrik Törner, Peter Öhman |
Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Juan Li, Hou-Xiang Wang |
Fault Tree Based Prediction of Software Systems Safety. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Martin Wassink, Stefano Stramigioli |
Towards a novel safety norm for domestic robotics. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Mats Per Erik Heimdahl |
Safety and Software Intensive Systems: Challenges Old and New. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Lei Jing, Zixue Cheng |
Functional Safety Problems in the Ubiquitous Environment. |
AINA Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Elena Navarro 0001, Pedro Sánchez, Patricio Letelier 0001, Juan Angel Pastor, Isidro Ramos |
A Goal-Oriented Approach for Safety Requirements Specification. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001 |
Model Based Integration of Safety Analysis and Development. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Orna Kupferman, Robby Lampert |
On the Construction of Fine Automata for Safety Properties. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Sungwoo Park |
A Modal Language for the Safety of Mobile Values. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Veli N. Stroetmann, Daniel Spichtinger, Karl A. Stroetmann, Jean-Pierre Thierry |
ICT for Patient Safety: Towards a European Research Roadmap. |
ISBMDA |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Mário Brito, John May |
Gaining Confidence in the Software Development Process Using Expert Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Felici |
Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain. |
RISE |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones |
Model-Based Integration of Safety Analysis and Reliable Software Development. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Fan Ye 0005, Tim Kelly |
COTS Product Selection for Safety-Critical Systems. |
ICCBSS |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Zeshan Kurd, Tim Kelly |
Establishing Safety Criteria for Artificial Neural Networks. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
30 | John Alexander McDermid |
Software Hazard and Safety Analysis. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Iain Bate, Tim Kelly |
Architectural Considerations in the Certification of Modular Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Trent Jaeger, Jonathon Tidswell |
Practical safety in flexible access control models. |
ACM Trans. Inf. Syst. Secur. |
2001 |
DBLP DOI BibTeX RDF |
authorization mechanisms, role-based access control, Access control models |
30 | Mariana Dumitrescu, Toader Munteanu |
A Fuzzy Logic System Used in Safety Analysis. |
Fuzzy Days |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Jie Wu 0001 |
Adaptive Fault-Tolerant Routing in Cube-Based Multicomputers Using Safety Vectors. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
Disconnected networks, generalized hypercubes, fault tolerance, multicomputers, unicast, reliable communication |
30 | Rupert Brown |
The Practical Application of Safety Techniques on an Ada Based Project. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Fevzi Belli, Axel Hollmann, Nimal Nissanke |
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Analysis and Testing, Risk Graphs, Safety, User Interactions, Regular Expressions, Event Sequence Graphs |
30 | Andreas Lang 0001, Jana Dittmann, Stefan Kiltz, Tobias Hoppe |
Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Future Vision, Security, Safety, Automotive |
29 | Jean Yang 0001, Chris Hawblitzel |
Safe to the last instruction: automated verification of a type-safe operating system. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
verification, operating system, type safety, run-time system |
29 | Christine B. Williams, Jane Fedorowicz, Arthur P. Tomasino |
Governmental factors associated with state-wide interagency collaboration initiatives. |
DG.O |
2010 |
DBLP BibTeX RDF |
intergovernmental collaboration, state level initiatives, institutional theory, public safety, rational choice theory |
29 | Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The software model checker Blast. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Software verification, Test-case generation, Software specification, Memory safety |
29 | Lars Grunske, Bernhard Kaiser |
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis |
29 | Daniel Tang, Ales Plsek, Jan Vitek |
Static checking of safety critical Java annotations. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
verification, annotations, safety critical systems, memory safety |
29 | Andrew J. Kornecki, Janusz Zalewski |
Certification of software for real-time safety-critical systems: state of the art. |
Innov. Syst. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification |
29 | Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler |
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safely Embedded Software, Safe State Machine, Diverse Instructions, Safety Code Weaving, Safety Supervisor |
29 | Nancy G. Leveson |
A Systems-Theoretic Approach to Safety in Software-Intensive Systems. |
IEEE Trans. Dependable Secur. Comput. |
2004 |
DBLP DOI BibTeX RDF |
accident models, software engineering, Software safety, system safety |
29 | Jacob Savir |
On testing safety-sensitive digital systems. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
aerospace testing, safety systems, safety-sensitive digital systems, off-line test, flight critical missions, digital airborne system, repair capabilities, diagnosis capabilities, mission reliability, reliability, fault diagnosis, redundancy, digital systems, online test |
29 | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar |
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Hans Russo, Andreas Turk |
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Ola Løkberg, Øystein Skogstad |
Functional Apportioning of Safety Requirements on Railway Signalling Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
Automatic Analysis of a Safety Critical Tele Control System. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Meghan M. Dierks, Caprice K. Christian, Emilie M. Roth, Thomas B. Sheridan |
Healthcare safety: the impact of Disabling "safety" protocols. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
PLC-Based Safety Critical Software Development for Nuclear Power Plants. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
29 | James M. Armstrong, Stephen Paynter |
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Fangmei Wu, Lei Huang |
Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones |
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Elmar Dilger, Thomas Führer, Bernd Müller |
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Ken Wong, Jeff Joyce |
Refinement of Safety-Related Hazards into Verifiable Code Assertions. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Shana Smith 0001, Emily Ericson |
Using immersive game-based virtual reality to teach fire-safety skills to children. |
Virtual Real. |
2009 |
DBLP DOI BibTeX RDF |
Game based, Fire safety, Virtual reality (VR), Children, Immersive, CAVE |
28 | Hidetoshi Fukui, Satoshi Yonejima, Masatake Yamano, Masao Dohi, Tomonori Nishiki, Mariko Yamada, Toshihiro Fujita |
Development of Portable Robotic Operation Terminals to Achieve Increased Safety and Usability and a Study on the Effectiveness of Wireless Terminals. |
HCI (15) |
2009 |
DBLP DOI BibTeX RDF |
Teach pendant, enabling switch, HMI environment, usability, robot, wireless, safety |
28 | Maria Chiara Leva, Alison M. Kay, Joan Cahill, Gabriel Losa, Sharon Keating, Diogo Serradas, Nick McDonald |
Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System. |
HCI (9) |
2009 |
DBLP DOI BibTeX RDF |
threat & error management, safety management systems, Human Factors, performance monitoring, task support |
28 | Byung Cheol Lee, Vincent G. Duffy |
Impact of Healthcare Information Technology Systems on Patient Safety. |
HCI (9) |
2009 |
DBLP DOI BibTeX RDF |
Interdisciplinary approach, Healthcare Research framework, Patient safety, Healthcare information system |
28 | Michael J. Smith 0001, Pascale Carayon |
Using the 'Balance Model' for Occupational Safety and Health Promotion. |
HCI (15) |
2009 |
DBLP DOI BibTeX RDF |
design, safety, system, risk, health, balance, hazard, wellness |
28 | Kee Man Chuah, Chwen Jen Chen, Chee Siong Teh |
ViSTREET: An Educational Virtual Environment for the Teaching of Road Safety Skills to School Students. |
IVIC |
2009 |
DBLP DOI BibTeX RDF |
educational virtual environments, road safety education, virtual reality, instructional technology |
28 | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço |
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
SCADE SUITE 6, safety critical, objective caml, DO-178B |
28 | Tianrui Li 0001, Yongjun Shen, Da Ruan 0001, Elke Hermans, Geert Wets |
Integrating Rough Sets with Neural Networks for Weighting Road Safety Performance Indicators. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
road safety performance indicators, composite indicator, neural networks, Rough sets |
28 | Jun Liu 0001, Jian-Bo Yang, Da Ruan 0001, Luis Martínez-López 0001, Jin Wang |
Self-tuning of fuzzy belief rule bases for engineering system safety analysis. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Belief rule-base, Optimization, Fuzzy logic, Uncertainty, Safety analysis, Evidential reasoning |
28 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. |
New Gener. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
28 | Pei-Ran Sun, Bo-Han Wang, Fan Wu |
A New Method to Guard Inpatient Medication Safety by the Implementation of RFID. |
J. Medical Syst. |
2008 |
DBLP DOI BibTeX RDF |
Adverse Drug Reaction, Malpractice, Radio Frequency Identification, Barcodes, Patient safety, Medical Errors |
28 | Gianmarco Baldini, Raimondo Giuliani, Dimitrios Symeonidis |
Reconfigurable Radio Systems for Public Safety Based on Low-Cost Platforms. |
EuroISI |
2008 |
DBLP DOI BibTeX RDF |
reconfigurable radio systems, security, SDR, public safety |
28 | Kazuhiro Takeda, Shingo Sugioka, Yukiyasu Shimada, Takashi Hamaguchi, Teiji Kitajima, Tetsuo Fuchino |
LCA of the Various Vehicles in Environment and Safety Aspect. |
KES (3) |
2008 |
DBLP DOI BibTeX RDF |
Life Cycle Assessment, Fuel Cell Vehicle, Gasoline Vehicle, Hybrid Electric Vehicle, Safety Issues, Electric Vehicle |
28 | Yukiyasu Shimada, Hossam A. Gabbar |
Development of Activity Models of Integrated Safety and Disaster Management for Industrial Complex Areas. |
KES (3) |
2008 |
DBLP DOI BibTeX RDF |
Safety and Disaster Management, Activity Model, Agent System |
28 | Yumiko Nara |
A Cross-Cultural Study on Attitudes toward Risk, Safety and Security. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
risk image, the United States, security, safety, risk, China, questionnaire, comparative study, Japan |
28 | Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten |
AMBOSS: A Task Modeling Approach for Safety-Critical Systems. |
TAMODIA/HCSE |
2008 |
DBLP DOI BibTeX RDF |
task editor, simulation, task modeling, safety-critical systems, socio-technical systems, task patterns |
28 | Heimo Zeilinger, Berndt Sevcik, Thomas Turek, Gerhard Zucker |
Communication in Change - Voice over IP in Safety and Security Critical Communication Networks. |
IT Revolutions |
2008 |
DBLP DOI BibTeX RDF |
security, safety, VoIP, communication networks |
28 | Elke Moons, Tom Brijs, Geert Wets |
Hot Spot Analysis: Improving a Local Indicator of Spatial Association for Application in Traffic Safety. |
ICCSA (1) |
2008 |
DBLP DOI BibTeX RDF |
local indicator of spatial association (LISA), Moran’s I, hot spot accident analysis, spatial statistics, traffic safety |
28 | Matthias Tichy, Stefan Henkler, Matthias Meyer 0001, Markus von Detten |
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
failure propagation, fujaba, structual transformations, fault tolerance, safety, hazard analysis |
28 | Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold |
Analysis of Nested CRC with Additional Net Data in Communication. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual error probability, Safety-critical communication |
28 | Harold W. Thimbleby |
User-Centered Methods Are Insufficient for Safety Critical Systems. |
USAB |
2007 |
DBLP DOI BibTeX RDF |
Safety Critical Interactive Devices, Human-Computer Interaction, Usability Engineering, Interaction Programming |
28 | Konstantinos Loupos, Luca Vezzadini, Wytze Hoekstra, Waleed Salem, Paul W. H. Chung, Matthaios Bimpas |
VR, HF and Rule-Based Technologies Applied and Combined for Improving Industrial Safety. |
HCI (6) |
2007 |
DBLP DOI BibTeX RDF |
Rule based technologies, industrial safety, Virtual Reality, Virtual Environments, Human Factors |
28 | Yunhong Zheng, Kai Li |
Ecological Safety Comprehensive Evaluation on Mineral-Resource Enterprises Based on AHP. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
mineral-resource enterprise, ecological safety, AHP, index system |
28 | Christopher M. Gold, Rafal Goralski |
3D Graphics Applied to Maritime Safety. |
IF&GIS |
2007 |
DBLP DOI BibTeX RDF |
Marine GIS, Maritime Safety, ECDIS, ENC, Marine Charts, Voronoi Diagram, AIS, 3D Visualization, Kinetic Data Structures |
28 | Akira Hattori, Masato Goto, Takami Yasuda, Shigeki Yokoi |
A Regional Safety Information Sharing System Based on CMS and Online Map System. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
Regional Safety Information Sharing, Online Map System, CMS |
28 | Mário Brito, John May |
Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms. |
ICSP |
2007 |
DBLP DOI BibTeX RDF |
Software Safety standards, Bayesian belief networks - Genetic Algorithms |
28 | Aristotelis B. Alexopoulos, Nikolaos Konstantopoulos |
New elements in international maritime standards: Developing a safety case approach for the treatment of tanker incidents. |
Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Tanker incidents, risk-based techniques, new rule-making culture, safety case approach |
28 | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip |
An operational semantics and type safety prooffor multiple inheritance in C++. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
semantics, C++, type safety, multiple inheritance |
28 | Edmond J. Vanderperre, Stanislav S. Makhanov |
A Markov time related to a robot-safety device system. |
4OR |
2005 |
DBLP DOI BibTeX RDF |
safety device, cold standby, recovery time, Weibull repair, Robot, availability |
28 | Davide Falessi, Guido Pennella, Giovanni Cantone |
Experiences, Strategies and Challenges in Adapting PVM to VxWorks™ Hard Real-Time Operating System, for Safety-Critical Software. |
PVM/MPI |
2005 |
DBLP DOI BibTeX RDF |
Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM) |
Displaying result #201 - #300 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|