Sciweavers

1488 search results - page 157 / 298
» Botnets for Scalable Management
Sort
View
IM
2003
15 years 5 months ago
Hierarchical End-to-End Service Recovery
: Failed networks, for example MPLS, can cause signaling storms the size of which can grow dramatically with network size. This paper presents a new scalable fault notification pro...
Mohamed El-Darieby, Dorina C. Petriu, Jerry Rolia
HPN
1998
15 years 5 months ago
A Connectionless Approach to Providing QoS in IP Networks
: The attempt to provide QoS in IP networks has raised some interesting questions on how a service can be provided to meet the application requirements while obeying the network re...
Biswajit Nandy, Nabil Seddigh, A. S. J. Chapman, J...
ATAL
2010
Springer
15 years 5 months ago
A systematic agent framework for situated autonomous systems
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
Frederic Py, Kanna Rajan, Conor McGann
FMICS
2010
Springer
15 years 4 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
CN
2007
96views more  CN 2007»
15 years 4 months ago
Persistent detection and recovery of state inconsistencies
Soft-state is a well established approach to designing robust network protocols and applications. However it is unclear how to apply soft-state approach to protocols that must mai...
Lan Wang, Daniel Massey, Lixia Zhang