53 search results - page 2 / 11 » A Component-Based Approach to Hand Verification |
ETFA
2006
IEEE
13 years 9 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
ICSR
2004
Springer
13 years 11 months ago
2004
Springer
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
AOSD
2003
ACM
13 years 11 months ago
2003
ACM
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...
ISSS
2002
IEEE
13 years 10 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
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 sophisticated...