418 search results - page 5 / 84 » Deriving Systems Level Security Properties of Component Base... |
126
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
133
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
107
Voted
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
147
Voted
SCS
2004
15 years 4 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
118
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...