Sciweavers

1002 search results - page 178 / 201
» Test-Driven Development of Model Transformations
Sort
View
POLICY
2004
Springer
14 years 1 months ago
A Goal-based Approach to Policy Refinement
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett,...
CA
2002
IEEE
14 years 18 days ago
Polyhedral Object Detection and Pose Estimation for Augmented Reality Applications
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
Ali Shahrokni, Luca Vacchetti, Vincent Lepetit, Pa...
EMSOFT
2001
Springer
14 years 4 days ago
Using Multiple Levels of Abstractions in Embedded Software Design
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
14 years 4 days ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ICRA
1999
IEEE
186views Robotics» more  ICRA 1999»
13 years 12 months ago
Grasp Analysis as Linear Matrix Inequality Problems
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
Li Han, Jeffrey C. Trinkle, Zexiang Li