5216 search results - page 777 / 1044 » Planning as Model Checking |
182
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
187
click to vote
APCCM
2008
15 years 8 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
204
click to vote
OWLED
2007
15 years 8 months ago
2007
Stream Processing Applications analyze large volumes of streaming data in real-time. These applications, consist of data sources, which produce raw streams, and processing elements...
167
click to vote
WSC
2001
15 years 8 months ago
2001
This paper describes the efforts required to convert conceptual designs and undefined processes for a proposed advanced steel processing shipyard facility into a discrete event si...
148
click to vote
WSC
2004
15 years 8 months ago
2004
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...