503 search results - page 36 / 101 » A Framework for Reasoning on Component Composition |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
CSL
2000
Springer
13 years 12 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
DALT
2004
Springer
14 years 29 days ago
2004
Springer
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...