974 search results - page 13 / 195 » Formal Modeling of Communication Traces |
CLIMA
2004
13 years 8 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, numerical calculation schemes of the buffer occupation probability for a buffer which is fed by a large number of independent and stationary sources are evaluate...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
COMPSAC
2003
IEEE
14 years 19 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
IJIS
2002
13 years 7 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...