1362 search results - page 69 / 273 » Model Checking Large Network Protocol Implementations |
119
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
140
click to vote
TMC
2008
15 years 3 months ago
2008
Token passing medium access control (MAC) protocols are gaining interest amongst wireless ad hoc network researchers as they provide unrivalled advantages over the existing IEEE 80...
141
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We propose a spreading code medium access control (MAC) protocol with each node equipped with single transceiver for wireless ad hoc networks, based on the code division multip...
160
Voted
CMG
2003
15 years 5 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
128
click to vote
IPSN
2010
Springer
15 years 11 months ago
2010
Springer
Current data collection protocols for wireless sensor networks are mostly based on quasi-static minimum-cost routing trees. We consider an alternative, highly-agile approach calle...