813 search results - page 130 / 163 » Correctness Properties for Multiagent Systems |
134
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Biological systems achieve amazing adaptive behavior with local agents performing simple sensing and actions. Modular robots with similar properties can potentially ach...
104
Voted
ISW
2009
Springer
15 years 10 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
106
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Distributed Hash Tables (DHTs) have been used in a variety of applications, but most DHTs so far have opted to solve lookups with multiple hops, which sacrifices performance in o...
123
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
130
click to vote
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...