8623 search results - page 1314 / 1725 » Software engineering for secure systems |
180
click to vote
IOLTS
2006
IEEE
16 years 1 months ago
2006
IEEE
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...
200
click to vote
UIST
2005
ACM
16 years 1 months ago
2005
ACM
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
209
click to vote
ICFEM
2005
Springer
16 years 1 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
186
click to vote
ICFEM
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
246
click to vote
EUROMICRO
2002
IEEE
16 years 17 days ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...