43 search results - page 2 / 9 » A Compositional Approach to Active and Passive Components |
ICSE
1998
IEEE-ACM
13 years 9 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
BXML
2004
13 years 6 months ago
2004
: In this paper we present our ongoing work in creating a semantic Web service composition and execution framework. The efforts described are undertaken in the context of the SATIN...
ISTA
2004
13 years 6 months ago
2004
: Systems management in any organization depends exclusively on the efforts of a system administrator. Every change in the IT infrastructure landscape requires changes in the syste...
UIST
2000
ACM
13 years 9 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...