623 search results - page 59 / 125 » Declarative Network Verification |
ICNP
2002
IEEE
14 years 1 months ago
2002
IEEE
Traffic regulation in public and private wireless LANs face a number of significant challenges, particularly in commercial networks where there is a need for efficient regulati...
IC
2007
13 years 10 months ago
2007
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...
MOBIQUITOUS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Body sensor networks consisting of low-power onbody wireless sensors attached to mobile users will be used in the future to monitor the health and well being of patient...
ESAS
2007
Springer
14 years 2 months ago
2007
Springer
Responding to misbehavior in ad-hoc and sensor networks is difficult. We propose new techniques for deciding when to remove nodes in a decentralized manner. Rather than blackballin...
DCOSS
2008
Springer
13 years 10 months ago
2008
Springer
Sensor networks can be viewed as large distributed databases, and SQL-like high-level declarative languages can be used for data and information retrieval. Energy constraints make ...