248 search results - page 3 / 50 » Knit: Component Composition for Systems Software |
CBSE
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
SOCO
2005
Springer
13 years 11 months ago
2005
Springer
COMPSAC
2003
IEEE
13 years 11 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...
ASWEC
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...