|
|
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 |
24 | Andy J. Wellings, MinSeong Kim |
Asynchronous event handling and safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
safety critical Java, threads, real-time specification for Java, asynchronous events |
24 | Donald G. Firesmith |
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
safety engineering, requirements engineering, security engineering, software-intensive systems |
24 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
Enforcement monitoring wrt. the safety-progress classification of properties. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
runtime enforcement, safety-progress, monitor, synthesis, property |
24 | Daniel Câmara, Christian Bonnet |
Topology management for public safety networks. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
connection cost, public safety networks, mesh networks, cluster heads |
24 | Saeed Ahmadi Behnam, Daniel Amyot, Alan J. Forster, Liam Peyton, Azalia Shamsaei |
Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety. |
MCETECH |
2009 |
DBLP DOI BibTeX RDF |
Adverse Events, Business Process Modeling, Health Care, Goal Modeling, Patient Safety, User Requirements Notation |
24 | Kazuhiro Minami, Nikita Borisov, Carl A. Gunter |
Safety in discretionary access control for logic-based publish-subscribe systems. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
access control, safety, inference control, publish-subscribe system, logical language |
24 | Uwe Becker |
Model-Based Development of Medical Devices. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
model-driven analysis, MDRE, model-driven test, model-driven safety analysis, design process, model-driven design, medical devices |
24 | Tucker Watson, Tim Hammond, William B. S. Pressly Jr. |
CU safe: a software tool for campus safety. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
monitoring, safety, GPS, cell phone, J2ME, google maps, personal tracking |
24 | Ziad Kobti, Shamual F. Rahaman, Anne W. Snowdon, Robert D. Kent |
A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation. |
Canadian AI |
2008 |
DBLP DOI BibTeX RDF |
social networks, Reputation, cultural algorithms, vehicle safety |
24 | Paolo Panaroni, Giovanni Sartori, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami |
Safety in Automotive Software: An Overview of Current Practices. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Software Engineering, Automotive Software, Vehicle Safety |
24 | P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar |
Conceptual Modeling for Safety Critical Computer Systems. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
system design methodology, conceptual modeling, safety-critical systems |
24 | Christian M. Jones |
Online games-based child safety environment. |
IE |
2008 |
DBLP DOI BibTeX RDF |
anti-abduction, child safety, sexual abuse prevention, social and psychological evaluation, animation, games-based learning |
24 | Christine B. Williams, M. Lynne Markus, Michael Tyworth, Steve Sawyer, Martin A. Dias, Sonia Vilvovsky, Jane Fedorowicz, Dax D. Jacobson |
Mapping theory to practice: a cartographic analysis of public safety networks. |
DG.O |
2008 |
DBLP BibTeX RDF |
interorganizational collaboration, information and communication technology, institutional theory, public safety, rational choice theory |
24 | Elena Troubitsyna |
Elicitation and Specification of Safety Requirements. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
requirements engineering, software development, safety analysis |
24 | Ayman K. Gendy, Michael J. Pont |
Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Safety-related embedded systems, scheduler, automatic code generation, time triggered |
24 | Ali G. Hessami |
Safety management of complex technology. |
Neural Comput. Appl. |
2007 |
DBLP DOI BibTeX RDF |
Risk forecasting, Safety, Systems, Parametric modelling |
24 | John Greco |
Worries about Pritchard's safety. |
Synth. |
2007 |
DBLP DOI BibTeX RDF |
Lottery problem, Luck, Pritchard, Virtue epistemology, Safety |
24 | Ying Wang, Wei Zhang 0006, Su Wu, Yang Guo |
Simulators for Driving Safety Study - A Literature Review. |
HCI (14) |
2007 |
DBLP DOI BibTeX RDF |
Driving safety, Moving-base, Fixed-base, Driving simulator |
24 | Svetlena Taneva, Effie Law |
Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design. |
HCI (4) |
2007 |
DBLP DOI BibTeX RDF |
safety, interface design, task analysis, eHealth, medical error |
24 | Steve Sawyer, Jane Fedorowicz, Michael Tyworth, M. Lynne Markus, Christine B. Williams |
A taxonomy for public safety networks. |
DG.O |
2007 |
DBLP BibTeX RDF |
public safety network infrastructures |
24 | Armin Selhofer, Thomas Gruber 0004, Michael Putz, Erwin Schoitsch, Gerald Sonneck |
RAMSS Analysis for a Co-operative Integrated Traffic Management System. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
RAMSS, co-operative traffic management, traffic telematics, dependability, analysis, road safety |
24 | Finn Olav Sveen, José Manuel Torres 0001, Jose María Sarriegi |
Learning from Your Elders: A Shortcut to Information Security Management Success. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Knowledge Management, Information Security Management, Quality Improvement, Safety Management |
24 | Balbir S. Dhillon, Zhijian Li |
Stochastic Analysis of a System with Redundant Robots, One Built-in Safety Unit, and Common-Cause Failures. |
J. Intell. Robotic Syst. |
2006 |
DBLP DOI BibTeX RDF |
common-cause failures, reliability, robot, availability, safety, system, repair |
24 | Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen |
Experiences from introducing UML-based development in a large safety-critical project. |
Empir. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
UML, Model-driven development, Embedded software, Case study, Safety-critical software |
24 | Jon Crowcroft |
The privacy and safety impact of technology choices for command, communications and control of the public highway. |
Comput. Commun. Rev. |
2006 |
DBLP DOI BibTeX RDF |
privacy, policy, safety, transport |
24 | Susie Stephens, Alfredo Morales, Matthew Quinlan |
Applying Semantic Web Technologies to Drug Safety Determination. |
IEEE Intell. Syst. |
2006 |
DBLP DOI BibTeX RDF |
drug safety, RDF data model, Semantic Web |
24 | Shuling Wang, Quan Long, Zongyan Qiu |
Type Safety for FJ and FGJ. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
Downcast, Observer Pattern, Type Safety, Featherweight Java |
24 | Emery D. Berger, Benjamin G. Zorn |
DieHard: probabilistic memory safety for unsafe languages. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation |
24 | Jerzy Brzezinski, Anna Kobusinska |
Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems. |
ICCSA (4) |
2006 |
DBLP DOI BibTeX RDF |
Monotonic Writes session guarantee, safety, mobile systems, rollback-recovery |
24 | Weihang Wu, Tim Kelly |
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
software safety evidence, software architecture, design decisions |
24 | Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent |
Checking SCADE Models for Correct Usage of Physical Units. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
physical units, dependable embedded systems, model based software development, SCADE, DECOS, verification, safety, error detection |
24 | Jiazheng Shi, Steve Goddard, Anagh Lal, Jason Dumpert, Shane Farritor |
Global Control of Robotic Highway Safety Markers: A Real-time Solution. |
Real Time Syst. |
2005 |
DBLP DOI BibTeX RDF |
variable-rate execution, highway safety markers, robotics, Hough transform, real-time embedded systems |
24 | Jennifer Morris, Philip Koopman |
Representing design tradeoffs in safety-critical systems. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, modeling, integrity, dependability, availability, safety |
24 | Alan Wassyng, Mark Lawford, Xiayong Hu |
Timing Tolerances in Safety-Critical Software. |
FM |
2005 |
DBLP DOI BibTeX RDF |
timing tolerances, real-time, requirements, safety-critical |
24 | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
QoS control for optimality and safety. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
optimality, multimedia, real-time, control, safety, fine grain |
24 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
24 | Francesca Saglietti |
Licensing Reliable Embedded Software for Safety-Critical Applications. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
safety applications, pre-developed component, software reliability, embedded software, software licensing, software certification, product quality, expert judgment, process quality |
24 | José H. Canós, Francisco de Zulueta |
Using Hypermedia to Improve Safety in Underground Metropolitan Transportation. |
Multim. Tools Appl. |
2004 |
DBLP DOI BibTeX RDF |
safety systems, hypermedia, emergency management |
24 | Robyn R. Lutz, Ines Carmen Mikulski |
Empirical Analysis of Safety-Critical Anomalies During Operations. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
Software and system safety, diagnostics, product metrics, maintenance process |
24 | Jan Magott, Pawel Skrobanek |
A Method of Analysis of Fault Trees with Time Dependencies. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency |
24 | Julia Rose Galliers, Alistair G. Sutcliffe, Shailey Minocha |
An impact analysis method for safety-critical user interface design. |
ACM Trans. Comput. Hum. Interact. |
1999 |
DBLP DOI BibTeX RDF |
scenario-based casual analysis, human error, Bayesian belief networks, safety-critical |
24 | Santhanam Srinivasan, Niraj K. Jha |
Safety and Reliability Driven Task Allocation in Distributed Systems. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
clustering, distributed systems, reliability, safety, Allocation |
24 | Fangmei Wu, Meng Li |
Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
dynamic decision table, software testing, safety-critical software, interlocking |
24 | Haiying Tu, Fangmei Wu |
How to Design an Environment Simulator for Safety Critical Software Testing. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing |
24 | Christophe Aussaguès, Vincent David |
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. |
ICECCS |
1998 |
DBLP DOI BibTeX RDF |
modeling, real-time, analysis, safety critical systems, timeliness |
24 | Bev Littlewood, David Wright 0001 |
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing |
24 | Hong Zhu 0002, Patrick A. V. Hall, John H. R. May, T. Cockram |
Injecting Faults into Environment Simulators for Testing Safety Critical Software. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
Simulation, Software testing, Program transformation, Fault injection, Safety critical software |
23 | Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle |
KleeNet: automatic bug hunting in sensor network applications. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
tinyos, type safety, memory safety, bug finding |
23 | Stephanie A. Guerlain, Beth Turrentine, Reid Adams, James Forrest Calland |
Using video data for the analysis and training of medical personnel. |
Cogn. Technol. Work. |
2004 |
DBLP DOI BibTeX RDF |
Multidisciplinary research, Surgical safety, Video-based research, Systems engineering, Research methods, Patient safety |
23 | Francesco Becchi, Rinaldo C. Michelini, Rezia M. Molfino, Roberto P. Razzoli |
SARA: A Robotic System For Cars Fuelling. |
J. Intell. Robotic Syst. |
2001 |
DBLP DOI BibTeX RDF |
autonomous fuelling, environment safety and protection, marginal safety, multibody systems dynamics, robotic system design, service robotics |
23 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
23 | James H. Anderson, Philip Holman |
Efficient pure-buffer algorithms for real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
efficient pure-buffer algorithms, multiprocessor real-time systems, multi-writer read/write pure-buffers, overwritten data, client processes, handshaking mechanisms, concurrent read/write operations safety, quantum-scheduled systems, priority-scheduled systems, buffer word length, real-time systems, computational complexity, distributed algorithms, safety, multiprocessing systems, time complexity, processor scheduling, optimized algorithms, buffer storage, space complexity, wait-free algorithms, shared buffers, processor number |
23 | Alexander Münnich |
PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods |
23 | Miroslav Svéda |
Embedded system design: a case study. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD |
23 | Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace |
Paradigm for building robust real-time distributed mission-critical systems. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm |
23 | Alan Burns 0001, Neil C. Audsley, Andy J. Wellings |
Real-time distributed computing. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
real-time distributed computing, real-time safety critical distributed systems, resource allocations scheme, timing behaviour, end-to-end deadlines, priority based communication protocols, real-time systems, resource allocation, distributed processing, transport protocols, computational model, flexibility, processor scheduling, safety-critical software, fixed priority scheduling |
23 | L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson |
Real-time computer controlled ultrasound therapy system for breast cancer treatment. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics |
23 | Eduardo B. Fernández, Robert B. France |
Formal specification of real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring |
23 | John C. Knight, Bev Littlewood |
Guest Editors' Introduction: Critical Task of Writing Dependable Software. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software |
23 | Susan L. Gerhart, Dan Craigen, Ted Ralston |
Experience with Formal Methods in Critical Systems. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
social benefits, risky applications, regulatory agencies, safety assurance, security, formal specification, formal methods, software reliability, safety, security of data, legislation, critical systems |
22 | Philippa Conmy, Iain Bate |
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Jung-Jun Park, Hwi-Su Kim, Jae-Bok Song |
Safe robot arm with safe joint mechanism using nonlinear spring system for collision safety. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | James T. Luxhøj, Ahmet Öztekin |
A Regulatory-Based Approach to Safety Analysis of Unmanned Aircraft Systems. |
HCI (17) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
A Revised Concept of Safety for General Answer Set Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Johan Åkerberg, Mats Björkman |
Exploring Network Security in PROFIsafe. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Bicchi, Michael A. Peshkin, J. Edward Colgate |
Safety for Physical Human-Robot Interaction. |
Springer Handbook of Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Falzon |
Enabling safety: issues in design and continuous design. |
Cogn. Technol. Work. |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Andrew J. Kornecki, Brian Butka, Janusz Zalewski |
Software Tools for Safety-Critical Systems According to DO-254. |
Computer |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Amit Bhatia 0001, Emilio Frazzoli |
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
Effective Pattern Representation for Safety Critical Embedded Systems. |
CSSE (4) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Junwei Du, Zhongwei Xu, Meng Mei |
Verification of Scenario-Based Safety Requirement Specification on Components Composition. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Xiaosheng Liu, Qun Sun |
Establishing Knowledge Base of Expert System of Mine Safety Pre-warning Based on Relational Database. |
FSKD (4) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Zongxiao Yang, Chuanye Cheng, Zhiqiang Feng |
Construction of Ontology-based Safety Assessment System for Power Plants. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Börcsök |
Matlab® / Simulink® generated source code for safety related systems. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Josef Börcsök, Ali Hayek, Muhammad Umar |
Implementation of a 1oo2-RISC-architecture on FPGA for safety systems. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Annette Böhm, Magnus Jonsson |
Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Qi Wang, Timothy X. Brown |
Public safety and commercial spectrum sharing via network pricing and admission control. |
IEEE J. Sel. Areas Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jing Liu, Josh Dehlinger, Hongyu Sun 0001, Robyn R. Lutz |
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jon G. Hall, Derek Mannering, Lucia Rapanotti |
Arguing safety with Problem Oriented Software Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Moritz Killat, Hannes Hartenstein |
Vehicular Ad Hoc Networks: How to Show the Impact on Traffic Safety? |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Saleh Yousefi, Saeed Bastani, Mahmood Fathy |
On the Performance of Safety Message Discrimination in Vehicular Ad Hoc Networks. |
ECUMN |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Danny Kuminov, Moshe Tennenholtz |
Competitive Safety Strategies in Position Auctions. |
WINE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Gregoriades |
Towards a user-centred road safety management method based on road traffic simulation. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Bin Wu 0012, Kangfeng Zheng, Yixian Yang |
A Data Safety Transmission Solution in Web Application. |
Web Intelligence/IAT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Cynthia LeRouge, Gordana Culjak, Thomas A. Horan |
Minitrack: Consumer Health Informatics, Patient Safety and Quality of Practice. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Tu-Bin Chu, Ming-Hui Jin, Li-Xin Xu, Jong-Tsong Chiang, Cheng-Yan Kao |
Portable Patient Information Integration System for Patient Safety Improvement. |
ISPA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Guttorm Sindre |
A Look at Misuse Cases for Safety Concerns. |
Situational Method Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Yong Deng, Jia Xiong, Ping Fu |
Airline Safety Evaluation Based on Fuzzy TOPSIS. |
PAISI |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Keiichi Yamada, James K. Kuchar |
Preliminary study of behavioral and safety effects of driver dependence on a warning system in a driving simulator. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Koushik Sen, Grigore Rosu, Gul Agha |
Online efficient predictive safety analysis of multithreaded programs. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis |
22 | Xiaozhen Niu, Martin Müller 0003 |
An Open Boundary Safety-of-Territory Solver for the Game of Go. |
Computers and Games |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
Relative Safety. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Alek Radjenovic |
Modelling to Safety. |
EWSA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Lisa Wells, Thomas Maier |
Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Hyeon-Seob Cho, Keun-Wang Lee |
A Video Retrieval System for Electrical Safety Education Based on a Mobile Agent. |
ICCSA (2) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Ninghui Li, Mahesh V. Tripunitara |
On Safety in Discretionary Access Control. |
S&P |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Donald Firesmith |
Engineering safety-related requirements for software-intensive systems. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|