297 search results - page 31 / 60 » Issues in Temporal Reasoning for Autonomous Control Systems |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
DEBS
2008
ACM
13 years 9 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...
SECON
2007
IEEE
14 years 2 months ago
2007
IEEE
—Increasingly many wireless sensor network deployments are using harvested environmental energy to extend system lifetime. Because the temporal profiles of such energy sources e...
SKG
2005
IEEE
14 years 1 months ago
2005
IEEE
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
ACSW
2006
13 years 9 months ago
2006
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...