5180 search results - page 866 / 1036 » Concurrency, Time, and Constraints |
173
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
198
click to vote
MEMOCODE
2007
IEEE
16 years 24 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
220
click to vote
MOBIQUITOUS
2007
IEEE
16 years 24 days ago
2007
IEEE
—Previous work on routing in MANETs has resulted in numerous routing protocols that aim at satisfying constraints such as minimum hop or low energy. Existing routing protocols of...
198
click to vote
NCA
2007
IEEE
16 years 24 days ago
2007
IEEE
We present FRAC, a Framework for Role-based Access Control in network file systems. FRAC is a reference monitor that controls the message flow between file system clients and s...
307
click to vote
RTSS
2007
IEEE
16 years 24 days ago
2007
IEEE
Recent research shows that significant energy saving can be achieved in wireless sensor networks by using mobile elements (MEs) capable of carrying data mechanically. However, th...