Sciweavers

752 search results - page 14 / 151
» Abstract models for dialogue protocols
Sort
View
WELCOM
2001
Springer
111views ECommerce» more  WELCOM 2001»
15 years 1 months ago
User Modelling for Live Help Systems
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...
Johan Aberg, Nahid Shahmehri, Dennis Maciuszek
FC
2005
Springer
134views Cryptology» more  FC 2005»
15 years 3 months ago
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
Aybek Mukhamedov, Steve Kremer, Eike Ritter
CORR
2010
Springer
158views Education» more  CORR 2010»
14 years 9 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
ICFEM
2010
Springer
14 years 8 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
104
Voted
ICAIL
2009
ACM
15 years 4 months ago
Coherence-driven argumentation to norm consensus
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
Sindhu Joseph, Henry Prakken