2025 search results - page 149 / 405 » Minimal-Cut Model Composition |
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
GCC
2003
Springer
14 years 2 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
ITA
2007
13 years 9 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
LCPC
2001
Springer
14 years 1 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...