3729 search results - page 217 / 746 » On Formal Modeling of Agent Computations |
175
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
210
click to vote
EUMAS
2006
15 years 8 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
203
click to vote
CLIMA
2004
15 years 8 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
173
click to vote
TSE
1998
15 years 6 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
145
click to vote
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...