3888 search results - page 257 / 778 » Change-Driven Model Transformations |
204
click to vote
VMV
2003
15 years 8 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
156
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
180
Voted
IAJIT
2008
15 years 6 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
122
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
Numerical modeling of the photon transport of the ultra violet (UV) and the visible lights are presented for plasma based display devices. The transport of UV lights which undergo...
207
click to vote
IANDC
2010
15 years 4 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...