53 search results - page 10 / 11 » User-Centered Methods Are Insufficient for Safety Critical S... |
119
Voted
HOST
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs) used in safety critical, security and military systems. The migration of IC fabrication to low-cost ...
106
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...
120
Voted
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
135
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
130
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...