3729 search results - page 308 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
WOA
2001
15 years 8 months ago
2001
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
152
click to vote
ISPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
172
click to vote
AAAI
2010
15 years 8 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
209
click to vote
ARGMAS
2004
Springer
16 years 2 days ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
175
Voted
TRIDENTCOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— The Communication Measurement Tool II (CMT II) is a framework for comprehensive IP measurements. It is the next development stage of the succeeded measurement framework called ...