9821 search results - page 158 / 1965 » A Framework for the Development of Protocols |
151
click to vote
SCL
2011
14 years 11 months ago
2011
This paper analyzes two classes of consensus algorithms in presence of bounded measurement errors. The considered protocols adopt an updating rule based either on constant or vani...
130
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
As grid infrastructures mature, an increasing challenge is to provide end-user scientists with intuitive interfaces to computational services, data management capabilities, and vi...
163
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
135
Voted
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
The status quo for co-located groupware is to assume that “social protocols” (standards of polite behavior) are sufficient to coordinate the actions of a group of users; howev...
162
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...