PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
In RF (Radio Frequency) domain, one of the limitations of using MEMS (Micro Electromechanical Systems) switching devices for medium power applications is RF power. Failure phenomen...
F. Maury, Arnaud Pothier, A. Crunteanu, F. Conseil...
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...