Sciweavers

2302 search results - page 297 / 461
» Modeling Intergovernmental Collaboration: A System Dynamics ...
Sort
View
ECAI
2006
Springer
15 years 8 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
ER
2000
Springer
116views Database» more  ER 2000»
15 years 8 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
ENGL
2007
119views more  ENGL 2007»
15 years 4 months ago
Interactive Physically-Based Modeling for Gaseous Object using Smoothed Particle Hydrodynamics
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
Suriyong Lertkulvanich, Sanan Srakaew
ICFCA
2010
Springer
15 years 11 months ago
Describing Role Models in Terms of Formal Concept Analysis
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
Henri Mühle, Christian Wende
139
Voted
CP
2004
Springer
15 years 10 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...