297 search results - page 51 / 60 » Issues in Temporal Reasoning for Autonomous Control Systems |
218
click to vote
ICLP
2004
Springer
16 years 14 days 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...
184
click to vote
EGOV
2005
Springer
16 years 19 days 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....
239
Voted
IMC
2010
ACM
15 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...
331
click to vote
RTSS
2007
IEEE
16 years 1 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...
177
click to vote
VLDB
1993
ACM
15 years 11 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...