621 search results - page 91 / 125 » Functional and structural properties in the Model-Driven Eng... |
APWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based...
ISPASS
2006
IEEE
14 years 2 months ago
2006
IEEE
Current simulation-sampling techniques construct accurate model state for each measurement by continuously warming large microarchitectural structures (e.g., caches and the branch...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
SIGGRAPH
1991
ACM
14 years 16 hour ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...