5084 search results - page 347 / 1017 » Proving Possibility Properties |
156
click to vote
KES
2004
Springer
16 years 2 days ago
2004
Springer
Human motion is a key property to understand human’s knowledge and intention. A service technician moves to achieve his duty: facility maintenance. The series of his motions is t...
175
click to vote
MFCS
2004
Springer
16 years 2 days ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
173
click to vote
TCC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
185
click to vote
ICPP
2003
IEEE
16 years 7 hour ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
182
click to vote
INFOCOM
2003
IEEE
16 years 5 hour ago
2003
IEEE
— In this paper, we present a Minimum Spanning Tree (MST) based topology control algorithm, called Local Minimum Spanning Tree (LMST), for wireless multi-hop networks. In this al...