4755 search results - page 397 / 951 » An Implementation Model for Collaborative Applications |
200
click to vote
ISSRE
2008
IEEE
16 years 1 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...
168
click to vote
3DPVT
2006
IEEE
16 years 26 days 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...
146
Voted
3DIM
2005
IEEE
16 years 12 days 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...
188
click to vote
UML
2005
Springer
16 years 8 days 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 ...
177
click to vote
EDOC
2003
IEEE
16 years 2 days 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...