687 search results - page 104 / 138 » Specification and Verification of Model Transformations Usin... |
111
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
BCS
2008
15 years 1 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
SPLC
2008
15 years 1 months ago
2008
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
104
click to vote
ENTCS
2006
15 years 14 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
117
click to vote
ESAW
2008
Springer
15 years 2 months ago
2008
Springer
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...