Statecharts: A visual formalism for complex systems
Science of Computer Programming
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Trajectory sampling for direct traffic observation
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Communicating sequential processes
Communications of the ACM
Model Checking UML Statecharts
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
An efficient mechanism for matching multiple patterns with streamed XML data
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
On Autonomy and Emergence in Self-Organizing Systems
IWSOS '08 Proceedings of the 3rd International Workshop on Self-Organizing Systems
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Dynamic link measurements using active components
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Hi-index | 0.00 |
In conventional networks, correlating path information to resource utilisation on the granularity of packets is a hard problem when using policy-based traffic handling schemes. We introduce a new approach termed `intrinsic monitoring' which relies on the use of IPv6 extension headers in combination with formal behaviour models to gather resource information along a path. This allows a network monitoring system to delegate monitoring functionality to the network devices themselves, with the result of a drastic reduction in management traffic due to the increased autonomy of the monitoring system. As monitoring information travels in-band with the network traffic, path information remains perfectly accurate.