5639 search results - page 471 / 1128 » Timed Abstract Non-interference |
129
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
151
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
171
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Developing distributed multiplayer games for ad-hoc networks is challenging. Consistency of the replicated shared state is hard to ensure at a low cost. Current consisten...
130
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
112
click to vote
SBACPAD
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— For resource management in Grid environments, advance reservations turned out to be very useful and hence are supported by a variety of Grid toolkits. However, failure ...