Sciweavers

9698 search results - page 279 / 1940
» models 2010
Sort
View
EOR
2002
74views more  EOR 2002»
15 years 6 months ago
Modeling multistage cutting stock problems
In multistage cutting stock problems (CSP) the cutting process is distributed over several successive stages. Every stage except the last one produces intermediate products. The l...
Eugene J. Zak
HICSS
2010
IEEE
159views Biometrics» more  HICSS 2010»
16 years 1 months ago
Towards a Systematic Approach for Capturing Dynamic Transformation in Enterprise Models
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
Stephan Aier, Bettina Gleichauf
ICALP
2010
Springer
15 years 11 months ago
Model Checking Succinct and Parametric One-Counter Automata
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
Stefan Göller, Christoph Haase, Joël Oua...
210
Voted
ICWE
2010
Springer
15 years 5 months ago
Model-Driven Web Engineering Performance Prediction with Layered Queue Networks
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
Alessio Gambi, Giovanni Toffetti, Sara Comai
NHM
2010
71views more  NHM 2010»
15 years 1 months ago
Some attempts to couple distinct fluid models
We present in this paper a review of some recent work dedicated to the numerical interfacial coupling of fluid models. One main motivation of the whole work is to provide some mean...
Jean-Marc Hérard, Olivier Hurisse