Sciweavers

3914 search results - page 64 / 783
» Automating SLA modeling
Sort
View
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
13 years 5 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
SERP
2003
13 years 9 months ago
Automating Feature-Oriented Domain Analysis
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhishen...
ENVSOFT
2007
109views more  ENVSOFT 2007»
13 years 7 months ago
The Automated Geospatial Watershed Assessment tool
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...
Scott N. Miller, Darius J. Semmens, David C. Goodr...
WSC
2008
13 years 10 months ago
Automated execution of simulation studies demonstrated via a simulation of a car
In the automotive area, a huge number of different technologies were developed in the last couples of years. The car manufacturers have to meet the challenge of selecting the most...
Sven Dominka, Eduard Broecker, Frank Schiller