Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming from specifications
Programming from specifications
A foundation for representing and querying moving objects
ACM Transactions on Database Systems (TODS)
Mobility prediction and routing in ad hoc wireless networks
International Journal of Network Management
Communication in disconnected ad hoc networks using message relay
Journal of Parallel and Distributed Computing - Special issue on wireless and mobile ad hoc networking and computing
Message Ferrying: Proactive Routing in Highly-Partitioned Wireless Ad Hoc Networks
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Incremental methods for formal verification and logic synthesis
Incremental methods for formal verification and logic synthesis
An Extension of XQuery for Moving Objects over GML
ITCC '04 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2 - Volume 2
Towards mobility as a network control primitive
Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
Multicasting techniques in mobile ad hoc networks
The handbook of ad hoc wireless networks
Mobilized Ad-Hoc Networks: A Reinforcement Learning Approach
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Disconnection Prediction in Mobile Ad hoc Networks for Supporting Cooperative Work
IEEE Pervasive Computing
Trajectory knowledge for improving topology control in mobile ad-hoc networks
CoNEXT '05 Proceedings of the 2005 ACM conference on Emerging network experiment and technology
Cooperation enforcement schemes for MANETs: a survey: Research Articles
Wireless Communications & Mobile Computing - Wireless Network Security
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
CTS '06 Proceedings of the International Symposium on Collaborative Technologies and Systems
Guidelines for the incremental identification of aspects in requirements specifications
Requirements Engineering
A Tuple-Space-Based Coordination Architecture for Test Agents in the MAST Framework
SOSE '06 Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
Journal of Logic and Computation
A survey of autonomic communications
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Properties and mechanisms of self-organizing MANET and P2P systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Communication and Coordination in Wireless Sensor and Actor Networks
IEEE Transactions on Mobile Computing
An adaptive application flooding for efficient data dissemination in dense ad-hoc networks
AINTEC'05 Proceedings of the First Asian Internet Engineering conference on Technologies for Advanced Heterogeneous Networks
Challenges of intervehicle ad hoc networks
IEEE Transactions on Intelligent Transportation Systems
Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks
IEEE Communications Magazine
Incremental specification with SCTL/MUS-T: a case study
Journal of Systems and Software
Movement control algorithms for realization of fault-tolerant ad hoc robot networks
IEEE Network: The Magazine of Global Internetworking
Hi-index | 0.00 |
This paper explores the idea of managing mobile ad-hoc networks (MANETs) by the communication needs of their nodes, as a means to facilitate the operation of distributed applications. Specifically, we present a middleware layer that enables reasoning about the multiple possibilities there may exist to ensure satisfiability of certain communication needs. This middleware has been explicitly devised to handle partial and changeable knowledge about the networks, and to guide the search for missing information whenever it cannot conclude whether it will be possible to satisfy some needs. These features provide the basis to implement policies with which to coordinate activities in a MANET, in quest for the configuration that best satisfies the communication needs of its nodes. We provide simulation results to show the comparative advantages of our solution, plus a report of experiments to assess its practicality and usability.