2525 search results - page 396 / 505 » A Framework for Semantic Gossiping |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
AAMAS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
IJVR
2008
13 years 9 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
ENTCS
2007
13 years 9 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
MMS
2006
13 years 9 months ago
2006
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...