1362 search results - page 151 / 273 » Model Checking Large Network Protocol Implementations |
110
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
143
click to vote
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Since sensor nodes use batteries as their source of energy, energy-based routing becomes an important requirement to extend network lifetime. This routing is done using the node...
129
click to vote
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...
146
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
115
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Diversity is an intrinsic property of wireless networks. Recent years have witnessed the emergence of many distributed protocols like ExOR, MORE, SOAR, SOFT, and MIXIT that exploi...