Sciweavers

6153 search results - page 131 / 1231
» Modeling Cyclic Change
Sort
View
CORR
2004
Springer
177views Education» more  CORR 2004»
13 years 10 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
ER
2000
Springer
116views Database» more  ER 2000»
14 years 2 months ago
On Business Process Model Transformations
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
Wasim Sadiq, Maria E. Orlowska
WSC
2008
14 years 29 days ago
Modeling of air traffic arrival operations through agent-based simulation
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
Sanjiv Shresta, Ralf H. Mayer
WSC
2001
14 years 17 hour ago
Improving simulation model adaptability with a production control framework
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
Sean M. Gahagan, Jeffrey W. Herrmann
IEEESCC
2008
IEEE
14 years 5 months ago
Mining Process Variants: Goals and Issues
Recently, Process-Aware Information Systems (PAIS) were introduced, which allow for dynamic process and service changes. This, in turn, has led to a large number of process model ...
Chen Li, Manfred Reichert, Andreas Wombacher