Sciweavers

2437 search results - page 116 / 488
» Model-Driven Software Adaptation
Sort
View
AMAST
2004
Springer
15 years 8 months ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
FASE
2010
Springer
15 years 9 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
IUI
1999
ACM
15 years 6 months ago
Evaluating Adaptive Navigation Support
From the few evaluations of adaptive navigation systems that have been performed, we see an emerging pattern where depending upon the domain, only certain types of adaptive naviga...
Kristina Höök, Martin Svensson
GPCE
2007
Springer
15 years 6 months ago
Library composition and adaptation using c++ concepts
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
Jaakko Järvi, Matthew A. Marcus, Jacob N. Smi...
125
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff