5374 search results - page 790 / 1075 » The induction of communication protocols |
215
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
214
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
In this paper, we propose a mutual authentication scheme using nonce variable instead of Mac address and accompanying with token updates to improve the functionality. Lee et al. (2...
233
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
214
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
204
click to vote
TELSYS
2010
15 years 2 months ago
2010
Abstract Several applications have been proposed for Wireless sensor networks, including habitat monitoring, structural health monitoring, pipeline monitoring, precision agricultur...