1362 search results - page 123 / 273 » Model Checking Large Network Protocol Implementations |
119
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
155
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
151
Voted
MOBIHOC
2007
ACM
16 years 3 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
184
Voted
PE
2007
Springer
15 years 3 months ago
2007
Springer
This paper addresses the delay analysis and resource consumption in mobile ad hoc networks (MANETs) equipped with throwboxes. Throwboxes are stationary, wireless devices that act ...
128
click to vote
MDM
2007
Springer
15 years 9 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...