878 search results - page 80 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
152
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
208
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
159
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
152
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a mathematical model to analyse the establishment and maintenance of communication between mobile agents. We assume that the agents move through a fixed envir...
172
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...