357 search results - page 21 / 72 » A Contracting System for Hierarchical Components |
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
EACL
1993
ACL Anthology
14 years 4 days ago
1993
ACL Anthology
In this paper a morphological component with a limited capability to automatically interpret (and generate) derived words is presented. The system combines an extended two-level m...
CONCUR
2006
Springer
14 years 2 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
SOCO
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
ISORC
2009
IEEE
14 years 5 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...