925 search results - page 7 / 185 » Typing Component-Based Communication Systems |
EMSOFT
2001
Springer
14 years 2 months 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...
FORTE
2003
13 years 11 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
IASTEDSE
2004
13 years 11 months ago
2004
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising res...
INFOCOM
1998
IEEE
14 years 2 months ago
1998
IEEE
ADT
2005
13 years 9 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...