Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
The broadcast storm problem in a mobile ad hoc network
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
Directed diffusion: a scalable and robust communication paradigm for sensor networks
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Fine-grained network time synchronization using reference broadcasts
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
| Hi-index | 0.00 |
Two problems in modelling sensor networks are: how to scale up specification and analysis techniques to larger models, and how to flexibly monitor their behavior. Guided by three obvious principles, and exploiting features of Maude, a high-level, modular approach is used to construct a framework for the specification of sensor networks that structures computations and states so as to flexibly monitor a model of the network, reduce the size of the state, and very significantly reduce the execution times of various analysis methods.