79 search results - page 6 / 16 » icse 2004 |
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
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...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
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...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
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...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
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...