Sciweavers

178 search results - page 10 / 36
» Dynamics of Modified predator-prey Models
Sort
View
GG
2004
Springer
14 years 1 months ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...
PG
2003
IEEE
14 years 1 months ago
Motion Perturbation Based on Simple Neuromotor Control Models
Motion capture is widely used for character animation. One of the major challenges of this technique is how to modify the captured motion in plausible ways. Previous work has focu...
KangKang Yin, Michael B. Cline, Dinesh K. Pai
ER
2008
Springer
99views Database» more  ER 2008»
13 years 10 months ago
Relaxed Compliance Notions in Adaptive Process Management Systems
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
Stefanie Rinderle-Ma, Manfred Reichert, Barbara We...
ER
2000
Springer
116views Database» more  ER 2000»
14 years 5 days 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
2001
13 years 10 months ago
Hierarchical modeling of a shipyard integrated with an external scheduling application
This paper presents a hierarchical approach on the simulation of large-scale discrete event systems used recently by Kiran Consulting Group (KCG) to model shipyard operations. Bec...
Ali S. Kiran, Tekin Cetinkaya, Juan Cabrera