576 search results - page 22 / 116 » Generic Component Lookup |
143
click to vote
APAQS
2000
IEEE
15 years 10 months ago
2000
IEEE
In the manufacturing domain, few new distributed systems are built ground-up; most contain wrapped legacy components. While the legacy components themselves are already well-teste...
137
click to vote
COOPIS
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
170
click to vote
ENTCS
2002
15 years 5 months ago
2002
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
161
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
137
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...