752 search results - page 32 / 151 » Abstract models for dialogue protocols |
132
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
106
Voted
ENTCS
2006
15 years 4 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
135
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
126
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We devise a theoretical model for dichotomic search algorithms for constrained optimization. We show that, within our model, a certain way of choosing the breaking point ...
121
click to vote
AP2PC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...