The Request Reply Family of Group Routing Protocols
IEEE Transactions on Computers
Randomized distance-vector routing protocol
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
Preserving quality of service guarantees in spite of flow aggregation
IEEE/ACM Transactions on Networking (TON)
The stable paths problem and interdomain routing
IEEE/ACM Transactions on Networking (TON)
Hop integrity in computer networks
IEEE/ACM Transactions on Networking (TON)
A secure address resolution protocol
Computer Networks: The International Journal of Computer and Telecommunications Networking
Finite-state self-stabilizing protocols in message-passing systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
On the Security and Vulnerability of PING
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
GS3: scalable self-configuration and self-healing in wireless sensor networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Wireless sensor networks
NetPrIDE an integrated environment for developing and visualizing computer network protocols
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Building component families to support adaptation
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
SCL: a language for security testing of network applications
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Trade-offs between reliability and overheads in peer-to-peer reputation tracking
Computer Networks: The International Journal of Computer and Telecommunications Networking - Management in peer-to-peer systems
LSRP: local stabilization in shortest path routing
IEEE/ACM Transactions on Networking (TON)
Convergence of IPsec in presence of resets
Journal of High Speed Networks
Guaranteed fault containment and local stabilization in routing
Computer Networks: The International Journal of Computer and Telecommunications Networking
Stabilizing inter-domain routing in the Internet
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Hello again: Stabilization of the Hello protocol in OSPF
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
A protocol for secure transactions
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
An axiomatic basis for communication
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Chowkidar: Reliable and scalable health monitoring for wireless sensor network testbeds
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Self-stabilizing philosophers with generic conflicts
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Trade-offs between reliability and overheads in peer-to-peer reputation tracking
Computer Networks: The International Journal of Computer and Telecommunications Networking - Management in peer-to-peer systems
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Self-stabilizing philosophers with generic conflicts
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A stabilizing solution to the stable path problem
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Stabilization of loop-free redundant routing
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Maintaining the Ranch topology
Journal of Parallel and Distributed Computing
Algorithms and theory of computation handbook
Comprehensive solution for anomaly-free BGP
IPOM'05 Proceedings of the 5th IEEE international conference on Operations and Management in IP-Based Networks
A state-based model of sensor protocols
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Group routing without group routing tables: an exercise in protocol design
Computer Communications
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
| Hi-index | 0.00 |