Sciweavers

3544 search results - page 413 / 709
» Software Testing
Sort
View
CODES
2011
IEEE
14 years 6 months ago
Design and architectures for dependable embedded systems
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
Jörg Henkel, Lars Bauer, Joachim Becker, Oliv...
ICONS
2008
IEEE
16 years 1 months ago
A Systems Engineering Approach to Exception Handling
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
Herbert Hecht
ICRA
2007
IEEE
178views Robotics» more  ICRA 2007»
16 years 1 months ago
Increased Mars Rover Autonomy using AI Planning, Scheduling and Execution
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
Tara A. Estlin, Daniel M. Gaines, Caroline Chouina...
RV
2010
Springer
104views Hardware» more  RV 2010»
15 years 5 months ago
StealthWorks: Emulating Memory Errors
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...
Musfiq Rahman, Bruce R. Childers, Sangyeun Cho
EUROSEC
2008
ACM
15 years 8 months ago
A methodology for the repeatable forensic analysis of encrypted drives
In this paper we propose a sound methodology to perform the forensic analysis of hard disks protected with whole-disk encryption software, supposing to be in possession of the app...
Cory Altheide, Claudio Merloni, Stefano Zanero