20833 search results - page 268 / 4167 » Hidden process models |
121
Voted
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
In this simulation we demonstrate how real-time multiresolution approaches based on underlying geometries are used in terrain visualization. The animated sequence demonstrates app...
124
click to vote
SDL
2001
15 years 6 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
137
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
142
Voted
WSC
1997
15 years 6 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
169
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...