69 search results - page 2 / 14 » Translation-Based Compositional Reasoning for Software Syste... |
CL
2006
Springer
13 years 6 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
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...
EUROMICRO
2009
IEEE
14 years 1 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
MODELS
2009
Springer
14 years 23 days ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
ASWEC
2004
IEEE
13 years 10 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...