54 search results - page 2 / 11 » Compositional Verification for Component-Based Systems and A... |
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
SERP
2003
13 years 6 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
CBSE
2004
Springer
13 years 10 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
CSREAESA
2010
13 years 3 months ago
2010
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...