5639 search results - page 828 / 1128 » Timed Abstract Non-interference |
134
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
136
click to vote
SSD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Query optimization is an important functionality of modern database systems and often based on estimating the selectivity of queries before actually executing them. Well-...
149
click to vote
WAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
101
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Allowing read operations to return stale data with low probability has been proposed as a means to increase availability in quorums systems. Existing solutions that allow...
137
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...