2655 search results - page 308 / 531 » Event Systems and Access Control |
197
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
166
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
160
click to vote
MASCOTS
2010
15 years 8 months ago
2010
Controlling energy usage in data centers, and storage in particular, continues to rise in importance. Many systems and models have examined energy efficiency through intelligent sp...
183
click to vote
DGO
2007
15 years 8 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...
185
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...