Sciweavers

485 search results - page 48 / 97
» System Safety Requirements as Control Structures
Sort
View
RAS
2010
109views more  RAS 2010»
13 years 7 months ago
Combining active learning and reactive control for robot grasping
Grasping an object is a task that inherently needs to be treated in a hybrid fashion. The system must decide both where and how to grasp the object. While selecting where to grasp...
Oliver Krömer, Renaud Detry, Justus H. Piater...
ESOP
2010
Springer
14 years 6 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ISSRE
2000
IEEE
14 years 1 months ago
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
Brian J. Taylor, Bojan Cukic
ICCD
2007
IEEE
145views Hardware» more  ICCD 2007»
14 years 5 months ago
Effective Dynamic Thermal Management for MPEG-4 decoding
This paper proposes Dynamic Thermal Management (DTM) based on a dynamic voltage and frequency scaling (DVFS) technique for MPEG-4 decoding to guarantee thermal safety while mainta...
Inchoon Yeo, Heung Ki Lee, Eun Jung Kim, Ki Hwan Y...
HASE
2007
IEEE
14 years 3 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz