5015 search results - page 725 / 1003 » Model Checking a Path |
187
click to vote
OOPSLA
2004
Springer
16 years 7 hour ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
170
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— Tools such as pathchar, clink, and pchar attempt to measure the capacity of every Layer-3 (L3) hop in a network path. These tools use the same underlying measurement methodolog...
200
click to vote
BCS
2008
15 years 8 months ago
2008
Much of the traffic carried by Sensor Networks will originate from routine measurements or observations by sensors which monitor a particular situation, such as the temperature an...
198
click to vote
WICON
2008
15 years 8 months ago
2008
Mobile ad hoc networks range from traditional MANETs where end-to-end paths exist from sources to destinations, to DTNs where no contemporaneous end-to-end paths exist and communi...
196
click to vote
CN
2006
15 years 6 months ago
2006
Heterogeneous multihop wireless networks such as wireless mesh networks consist of a set of resource-constrained mobile nodes that want to communicate with each other and a set of...