3387 search results - page 525 / 678 » Model-Checking for Real-Time Systems |
98
Voted
IWIA
2006
IEEE
15 years 7 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...
113
Voted
RTCSA
2006
IEEE
15 years 7 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...
134
click to vote
WIOPT
2006
IEEE
15 years 7 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...
100
Voted
CAMP
2005
IEEE
15 years 6 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...
72
Voted
RTCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
Project ExScal (for Extreme Scale) fielded a 1000+ node wireless sensor network and a 200+ node peer-to-peer ad