247 search results - page 23 / 50 » Agent-Oriented Modeling by Interleaving Formal and Informal ... |
CIMCA
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
AAI
2000
13 years 8 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
IFIP8
2007
13 years 10 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
COOPIS
2004
IEEE
14 years 11 days ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...