752 search results - page 41 / 151 » Abstract models for dialogue protocols |
156
click to vote
NFM
2011
14 years 11 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...
164
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
112
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Peer-to-peer (P2P) systems in general, and BitTorrent (BT) specifically, have been of significant interest to researchers rnet users alike. Existing models of BT abstract away...
123
click to vote
LKR
2008
15 years 5 months ago
2008
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
133
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In this paper, we derive a simple first-order discretetime model for the Transmission Control Protocol (TCP) with Random Early Detection (RED). We view the network as ...