4755 search results - page 397 / 951 » An Implementation Model for Collaborative Applications |
162
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
129
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an approach for large-scale modeling of parametric surfaces using spherical harmonics (SHs). A standard least square fitting (LSF) method for SH expansion is not scala...
112
click to vote
3DIM
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...
143
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
131
click to vote
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...