752 search results - page 22 / 151 » Abstract models for dialogue protocols |
77
Voted
ESORICS
2002
Springer
15 years 9 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
88
Voted
ICEIS
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract: The work described in this article arises from two needs. First, there is still a need for providing more sophisticated database systems than just relational ones. Second...
ITS
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
74
Voted
JAPLL
2008
14 years 9 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...