The 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS)

To get the Proceedings of the Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, use this link: acp4is05.pdf. To fetch all the papers in one file (tar/gzip), use this link: acp4is05-crc.tar.gz

Title Authors
Using a Low-Level Virtual Machine to Improve Dynamic Aspect Support in Operating System Kernels Michael Engel and Bernd Freisleben
Avoiding Incorrect and Unpredictable Behaviour with Attribute-Based Crosscutting Donal Lafferty
Tarantula: Killing Driver Bugs Before They Hatch Julia L. Lawall, Gilles Muller, and Richard Urunuela
On the Configuration of Non-Functional Properties in Operating System Product Lines Daniel Lohmann, Olaf Spinczyk, and Wolfgang Schröder-Preikschat
Software Security Patches: Audit, Deployment and Hot Update Nicolas Loriant, Marc Ségura-Devillechaise, and Jean-Marc Menaud
Weaving Aspects to Support High Reliable Systems: Developping a Blood Plasma Analysis Automaton Valérie Monfort, Muhammad Usman Bhatti, and Assia ait ali Slimane
Evaluating an Aspect-Oriented Approach for Production-Testing Software
Development Environment for Configuration and Analysis of Embedded and Real-Time Systems Aleksandra Tesanovic, Peng Mu, and Jörgen Hansson
Two Party Aspect Agreement using a COTS Solver Eric Wohlstadter, Stefan Tai, and Prem Devanbu