Sciweavers

7103 search results - page 42 / 1421
» Components and Generative Programming
Sort
View
ECOOP
2006
Springer
15 years 5 months ago
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
Javier Cámara, Carlos Canal, Javier Cubo, J...
GPCE
2004
Springer
15 years 7 months ago
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components
Julia L. Lawall, Anne-Françoise Le Meur, Gi...
ESOP
2010
Springer
15 years 11 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
ECOOP
2000
Springer
15 years 6 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
92
Voted
SAC
2008
ACM
15 years 1 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...