156 search results - page 19 / 32 » Temporal Logics for Representing Agent Communication Protoco... |
100
Voted
AAAI
1997
15 years 1 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...
101
Voted
VLSID
2008
IEEE
16 years 22 days 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...
103
Voted
ACISICIS
2007
IEEE
15 years 6 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...
119
click to vote
CLIMA
2006
15 years 1 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 6 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...