Highly dynamic Destination-Sequenced Distance-Vector routing (DSDV) for mobile computers
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Jini and Java Spaces Application Development
Jini and Java Spaces Application Development
Smart Environments: Technology, Protocols and Applications (Wiley Series on Parallel and Distributed Computing)
Autonomic Computing
Towards an ASSL specification model for NASA swarm-based exploration missions
Proceedings of the 2008 ACM symposium on Applied computing
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
Towards a framework for specification and code generation of automatic systems
Towards a framework for specification and code generation of automatic systems
Autonomic wireless sensor networks
Engineering Applications of Artificial Intelligence
Transactions on Computational Science XV
Hi-index | 0.00 |
We present a technological convergence approach to developing sensor networks capable of self-management. We use ASSL (Autonomic System Specification Language) to formally develop autonomous intelligent sensor nodes and DMF (Demand Migration Framework) to connect these nodes in a sensor network. ASSL provides constructs for modeling special self-management policies that drive the sensor nodes' behavior and control the communication mechanism provided by DMF.