Sciweavers

2030 search results - page 262 / 406
» Checklists for Software Engineering Case Study Research
Sort
View
PEPM
2000
ACM
13 years 11 months ago
From Recursion to Iteration: What are the Optimizations?
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
Yanhong A. Liu, Scott D. Stoller
QOSA
2010
Springer
13 years 9 months ago
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, ...
VAMOS
2008
Springer
13 years 9 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
AVI
2006
13 years 9 months ago
Improving access of elderly people to real environments: a semantic based approach
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
Fabio Pittarello, Alessandro De Faveri
ENTCS
2007
108views more  ENTCS 2007»
13 years 8 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig