Sciweavers

1806 search results - page 28 / 362
» Autonomous Network Equipments
Sort
View
PERCOM
2010
ACM
13 years 7 months ago
Towards automated verification of autonomous networks: A case study in self-configuration
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
COMCOM
2007
82views more  COMCOM 2007»
13 years 9 months ago
Jumping ant routing algorithm for sensor networks
Enterprises that may rely on critical equipments which are constantly moving around, for example, hospitals – need to ensure they can know the current location of vital but mobi...
Wei-Ming Chen, Chung-Sheng Li, Fu-Yu Chiang, Han-C...
APNOMS
2009
Springer
14 years 4 months ago
The Design of an Autonomic Communication Element to Manage Future Internet Services
Future Internet services will have vastly different requirements than the current Internet. Manageability, which has been largely ignored, will have the dual role of controlling ca...
John Strassner, Sung-Su Kim, James Won-Ki Hong
ATAL
2004
Springer
14 years 3 months ago
Merging Globally Rigid Formations of Mobile Autonomous Agents
This paper is concerned with merging globally rigid formations of mobile autonomous agents. A key element in all future multi-agent systems will be the role of sensor and communic...
Tolga Eren, Brian D. O. Anderson, Walter Whiteley,...
AINA
2006
IEEE
14 years 3 months ago
Autonomic Network-layer Multicast Service Towards Consistent Service Quality
In spite of significant work on real-time content distribution, providing consistent service quality across the Internet remains a challenge. Multicast applications further exace...
Björn Brynjúlfsson, Gísli Hj&aa...