Sciweavers

10568 search results - page 307 / 2114
» Computer Intelligence and Formalization
Sort
View
CCS
2010
ACM
15 years 3 months ago
On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
Ueli Maurer, Björn Tackmann
ENTCS
2006
1305views more  ENTCS 2006»
15 years 3 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
AO
2005
147views more  AO 2005»
15 years 3 months ago
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
Massimo Poesio
IAT
2007
IEEE
15 years 10 months ago
A Self-Organization Process for Communication Management in Embedded Multiagent Systems
This paper deals with a multiagent self-organization process aiming to give adaptive features to distributed embedded systems involving intelligent agents in open real world. We p...
Michel Occello, Jean-Paul Jamont
ECOOPW
1994
Springer
15 years 7 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler