706 search results - page 38 / 142 » Design Recovery of a Two Level System |
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
TCAD
2008
13 years 7 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
CVPR
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper advocates a Virtual Vision paradigm and demonstrates its usefulness in camera sensor network research. Virtual vision prescribes the use of a visually and behaviorally ...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
ICRA
2005
IEEE
2005
IEEE
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
14 years 1 months ago
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...