1202 search results - page 169 / 241 » Sortings for Reactive Systems |
126
click to vote
NCA
2010
IEEE
14 years 11 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
137
click to vote
SPAA
2005
ACM
15 years 10 months ago
2005
ACM
An asynchronous algorithm is described for rapidly constructing an overlay network in a peer-to-peer system where all nodes can in principle communicate with each other directly t...
123
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper considers the remote interactive browsing of large JPEG2000 images. In contrast with previous contributions, we focus on the dynamic nature of the system. Practically, ...
120
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
125
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...