Sciweavers

668 search results - page 73 / 134
» Implementing and Evaluating Automatic Checkpointing
Sort
View
ICST
2009
IEEE
15 years 4 months ago
On the Effectiveness of Test Extraction without Overhead
Developers write and execute ad-hoc tests as they implement software. While these tests reflect important insights of the developers (e.g., which parts of the software need testi...
Andreas Leitner, Alexander Pretschner, Stefan Mori...
CODES
2008
IEEE
15 years 4 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
HICSS
2007
IEEE
212views Biometrics» more  HICSS 2007»
15 years 4 months ago
Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
Jürgen Falb, Roman Popp, Thomas Röck, He...
AICCSA
2006
IEEE
101views Hardware» more  AICCSA 2006»
15 years 3 months ago
Refactoring Tools and Complementary Techniques
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
Martin Drozdz, Derrick G. Kourie, Bruce W. Watson,...
ISCC
2003
IEEE
153views Communications» more  ISCC 2003»
15 years 3 months ago
An Object-Based MPEG-4 Multimedia Content Classification Model for IP QoS Differentiation
In this article, we investigate efficient transmission of Object-based MPEG-4 video over IP networks with QoS management capabilities. MPEG-4 Audio Visual Objects (AVOs) are class...
Toufik Ahmed, Abdelhamid Nafaa, Ahmed Mehaoua