156 search results - page 19 / 32 » Temporal Logics for Representing Agent Communication Protoco... |
77
Voted
AAAI
1997
14 years 10 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
VLSID
2008
IEEE
15 years 9 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
ACISICIS
2007
IEEE
15 years 3 months ago
2007
IEEE
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
95
Voted
CLIMA
2006
14 years 11 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
CIMCA
2006
IEEE
15 years 3 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...