406 search results - page 60 / 82 » Symmetry and performance in consistency protocols |
177
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
148
click to vote
IADIS
2003
15 years 7 months ago
2003
The purpose of MARIAN is to investigate the degree of suitability for mobile agent technology in routing, topology discovery, and automatic network reconfiguration in ad-hoc wirel...
156
click to vote
JSW
2007
15 years 6 months ago
2007
—Shibboleth is an architecture and protocol for allowing users to authenticate and be authorized to use a remote resource by logging into the identity management system that is m...
188
click to vote
ASC
2011
15 years 1 months ago
2011
In this work, a novel optimization framework is proposed that allows the improvement of Quality of Service levels in TCP/IP based networks, by configuring the routing weights of ...
127
click to vote
SECON
2007
IEEE
16 years 10 days ago
2007
IEEE
— Existing mechanisms for querying wireless sensor networks leak client interests to the servers performing the queries. The leaks are not only in terms of specific regions but ...