297 search results - page 51 / 60 » Issues in Temporal Reasoning for Autonomous Control Systems |
ICLP
2004
Springer
14 years 1 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
EGOV
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we propose a solution to secure interoperability between electronic ID management infrastructures enabling the provision of cross-border eServices to mobile citizens....
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Cost control for the Internet access providers (AP) influences not only the nominal speeds offered to the customers, but also other, more controversial, policies related to traffi...
RTSS
2007
IEEE
14 years 2 months 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...
VLDB
1993
ACM
13 years 12 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...