Sciweavers

79 search results - page 6 / 16
» icse 2004
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
Gergely Pintér, István Majzik
ICSE
2004
IEEE-ACM
16 years 3 months ago
Component-Based Self-Adaptability in Peer-to-Peer Architectures
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...
Sascha Alda
ICSE
2004
IEEE-ACM
16 years 3 months ago
Feature-Oriented Programming and the AHEAD Tool Suite
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
Don S. Batory
ICSE
2004
IEEE-ACM
16 years 3 months ago
Adding High Availability and Autonomic Behavior to Web Services
Rapid acceptance of the Web Services architecture promises to make it the most widely supported and popular object-oriented architecture to date. One consequence is that a wave of...
Kenneth P. Birman, Robbert van Renesse, Werner Vog...
ICSE
2004
IEEE-ACM
16 years 3 months ago
Architecting in the Face of Uncertainty: An Experience Report
Understanding an application's functional and nonfunctional requirements is normally seen as essential for developing a robust product suited to client needs. This paper desc...
Ian Gorton, Jereme Haack