109 search results - page 16 / 22 » Composite Connectors for Composing Software Components |
IFIPTCS
2000
13 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
EMSOFT
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
With growing acceptance of service-oriented computing, an emerging area of research is the investigation of technologies that will enable the discovery and composition of web serv...