Sciweavers

3689 search results - page 456 / 738
» A Language with Distributed Scope
Sort
View
ISCIS
2003
Springer
15 years 9 months ago
Implementing Agent Communication for a Multi-agent Simulation Infrastructure on HLA
Abstract. Multi-agent simulation is gaining popularity due to its intuitiveness and ability in coping with domain complexity. HLA, being a distributed simulation architecture stand...
Erek Göktürk, Faruk Polat
ICDCSW
2002
IEEE
15 years 9 months ago
Separation of Concerns in Agent Applications by Roles
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
SPIN
2001
Springer
15 years 9 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
15 years 9 months ago
Virtualization of Organizations: Consequences for Workflow Modeling
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
Wolfgang Ortner, Christian Stary
139
Voted
IDEAS
1999
IEEE
134views Database» more  IDEAS 1999»
15 years 9 months ago
The EyeDB OODBMS
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...
Eric Viara, Emmanuel Barillot, Guy Vaysseix