3729 search results - page 186 / 746 » On Formal Modeling of Agent Computations |
182
click to vote
SYNASC
2008
IEEE
16 years 26 days ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
222
click to vote
CMOT
2011
14 years 10 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
169
click to vote
INFORMATIKTAGE
2008
15 years 8 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
164
click to vote
SEFM
2007
IEEE
16 years 23 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
142
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...