3555 search results - page 242 / 711 » Security-Critical System Development with Extended Use Cases |
118
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Systems such as software transactional memory and some exception handling techniques use transactions. However, a typical limitation of such systems is that they do not allow syst...
133
click to vote
AUTOMATICA
2007
15 years 5 months ago
2007
This paper deals with state estimation problem for linear systems with state equality constraints. Using noisy measurements which are available from the observable system, we cons...
134
click to vote
APCSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
155
click to vote
MASS
2010
14 years 12 months ago
2010
Abstract--We propose "mode switch", an adaptive loadsensitive solution that supports both an energy-efficient operation mode for transmitting normal sensor data and an Qo...
155
click to vote
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...