Sciweavers

4469 search results - page 536 / 894
» A Language for Role Specifications
Sort
View
VMCAI
2004
Springer
16 years 3 days ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
ICTAI
2003
IEEE
16 years 1 days ago
Human-Agent Teamwork for Distributed Team Training
This paper presents an approach to human-agent mixed teams for distributed team training, demonstrated through the integration of the domain independent multiagent architecture CA...
Dianxiang Xu, Richard A. Volz, Michael S. Miller, ...
IV
2000
IEEE
95views Visualization» more  IV 2000»
15 years 11 months ago
3D Virtual Warehouse on the WEB
In the emerging field of E-Commerce we show the great potential interest to create 3D virtual shopping centers. The study of a specific application: the creation of an electric ho...
Michel Buffa, Jean-Claude Lafon
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
15 years 11 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
AGP
1998
IEEE
15 years 11 months ago
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
Agostino Dovier, Carla Piazza, Gianfranco Rossi