An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Abstract
The FORCES project aims at providing robust and declarative for- malisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction. This short paper describes FORCES's motivations, results and future research directions.
Origin : Files produced by the author(s)
Loading...