Sciweavers

3954 search results - page 102 / 791
» Image-based Model Completion
Sort
View
IRI
2007
IEEE
15 years 11 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
137
Voted
WSC
1998
15 years 6 months ago
Effective Simulation Model Reuse: a case study for AMHS modeling
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
Gerald T. Mackulak, Frederick P. Lawrence, Theron ...
SE
2008
15 years 6 months ago
Integrating Software Lifecycle Models into a uniform Software Engineering Model
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
Jonas Helming
117
Voted
CIE
2009
Springer
15 years 11 months ago
Computational Heuristics for Simplifying a Biological Model
Abstract. Computational biomodelers adopt either of the following approaches: build rich, as complete as possible models in an effort to obtain very realistic models, or on the co...
Ion Petre, Andrzej Mizera, Ralph-Johan Back
ENTCS
2007
116views more  ENTCS 2007»
15 years 4 months ago
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa