An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Résumé

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.

Domaines

Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
forces-iclp.pdf (50.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Catuscia Palamidessi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00426610

Soumis le : mardi 27 octobre 2009-01:46:56

Dernière modification le : jeudi 1 août 2024-17:08:02

Archivage à long terme le : mardi 16 octobre 2012-12:45:43

Télécharger pour visualiser

Dates et versions

inria-00426610 , version 1 (27-10-2009)

Identifiants

Citer

Jesus Aranda, Gérard Assayag, Carlos Olarte, Camilo Rueda, Toro Mauricio, et al.. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩. ⟨inria-00426610⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X UPMC CNRS INRIA LIX X-LIX X-DEP-INFO IRCAM STMS INRIA2 SORBONNE-UNIVERSITE SU-SCIENCES
215 Consultations
246 Téléchargements

Altmetric

Partager

More