Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
— This paper proposes an authentication approach to support multi-clients in using a multi-application based environment. The approach is primarily based on the public key infras...