3729 search results - page 12 / 746 » On Formal Modeling of Agent Computations |
ICEIS
2000
IEEE
15 years 4 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
FUIN
2006
14 years 11 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
AOSE
2004
Springer
15 years 5 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
101
click to vote
IEAAIE
2004
Springer
15 years 5 months ago
2004
Springer
The systems biology community is building increasingly complex models and simulations of cells and other biological entities. This community is beginning to look at alternatives t...
112
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...