Sciweavers

6528 search results - page 193 / 1306
» On the architecture of software component systems
Sort
View
ESEC
1999
Springer
15 years 10 months ago
A Component and Communication Model for Push Systems
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
Manfred Hauswirth, Mehdi Jazayeri
ICFEM
2010
Springer
15 years 4 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
CBSE
2010
Springer
15 years 11 months ago
Comparison of Component Frameworks for Real-Time Embedded Systems
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...
Petr Hosek, Tomás Pop, Tomás Bures, ...
EMSOFT
2001
Springer
15 years 10 months ago
System-Level Types for Component-Based Design
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...
Edward A. Lee, Yuhong Xiong
SOQUA
2004
15 years 7 months ago
Safety Assessment of Systems Embedded with COTS Components by PIP technique
: The difficulties to assess reliability of systems that use COTS components are sometimes compounded by the inaccessibility of some COTS codes. This paper develops an approach of ...
Luping Chen, John H. R. May