ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
ICSE
2004
IEEE-ACM
14 years 7 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
14 years 7 months ago
2004
IEEE-ACM
Various forms of agreements naturally arise in the service provider model as well as in multi-party computing models such as business-to-business, utility and grid computing. The r...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
In service-oriented computing, services are dynamically built as an assembly of pre-existing, independently developed, network accessible services. Hence, predicting as much as pos...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Achieving high dependability of Web Services (WSs) dynamically composed from component WSs is an open problem. One of the main difficulties here is due to the fact that the compone...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...