Theoretical Computer Science
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Wireless Communications: Principles and Practice
Wireless Communications: Principles and Practice
From symptom to cause: localizing errors in counterexample traces
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Service Provision in Ad Hoc Networks
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Progress on the State Explosion Problem in Model Checking
Informatics - 10 Years Back. 10 Years Ahead.
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Model Checking Partial State Spaces with 3-Valued Temporal Logics
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Incremental Model Checking in the Modal Mu-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
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
Incremental methods for formal verification and logic synthesis
Incremental methods for formal verification and logic synthesis
Towards mobility as a network control primitive
Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
Brief announcement: virtual mobile nodes for mobile ad hoc networks
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
A domain equation for refinement of partial systems
Mathematical Structures in Computer Science
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
An Agile Approach to Support Incremental Development of Requirements Specifications
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Placement of continuous media in wireless peer-to-peer networks
IEEE Transactions on Multimedia
IEEE Communications Magazine
Incremental specification with SCTL/MUS-T: a case study
Journal of Systems and Software
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
| Hi-index | 0.00 |
Mobile ad-hoc networks (MANETs) are dynamic computing environments where it is hard to make predictions about service provision. To ensure a level of predictability —and thus make the services more dependable—, it has been argued that the hosts must exchange information that allows guessing how the network is set up at a given moment, and how it will be in the near future. This paper introduces an approach to handling that information, which has been explicitly devised to deal with incomplete and changeable knowledge. As a contribution to the current state of the art, this approach enables a practical scheme where the different hosts in a MANET can collaborate to make up the network that best satisfies their service requirements.