Sciweavers

2638 search results - page 146 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
IFIPTCS
2010
15 years 2 months ago
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
Michele Boreale, David Clark, Daniele Gorla
HICSS
1997
IEEE
151views Biometrics» more  HICSS 1997»
15 years 9 months ago
Intelligent Agent Based Contract Process in Electronic Commerce: UNIK-AGENT Approach
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
Jae Kyu Lee, Woongkyu Lee
CCIA
2009
Springer
15 years 5 months ago
A Formalization of Trust Alignment
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
AMKM
2003
Springer
15 years 10 months ago
Implicit Culture-Based Personal Agents for Knowledge Management
We present an implementation of a multi-agent system that aims at solving the problem of tacit knowledge transfer by means of experiences sharing. In particular, we consider experi...
Enrico Blanzieri, Paolo Giorgini, Fausto Giunchigl...
HT
2011
ACM
14 years 8 months ago
Automatic mining of cognitive metadata using fuzzy inference
Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
Melike Sah, Vincent Wade