5434 search results - page 907 / 1087 » Tool support for MOLA |
168
click to vote
WSC
2007
15 years 8 months ago
2007
Since its beginning, simulation has been used to study complex systems in order to infer on their future behavior, in this field several applications have been made using it as of...
139
click to vote
WSC
2007
15 years 8 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
172
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
167
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
151
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...