3387 search results - page 525 / 678 » Model-Checking for Real-Time Systems |
IWIA
2006
IEEE
14 years 4 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
RTCSA
2006
IEEE
14 years 4 months ago
2006
IEEE
This article introduces the concept of monotonic transactions. A monotonic transaction is a particular case of transactions for which the load arrival pattern is (or can be by rot...
WIOPT
2006
IEEE
14 years 4 months ago
2006
IEEE
— We explore the advantages of intelligently dropping a small fraction of packets that arrive for transmission over a time varying wireless downlink. Without packet dropping, the...
CAMP
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper describes the main principles of a vision sensor dedicated to the detecting and tracking faces in video sequences. For this purpose, a current mode CMOS active senso...
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Project ExScal (for Extreme Scale) fielded a 1000+ node wireless sensor network and a 200+ node peer-to-peer ad