188 search results - page 2 / 38 » Error Modeling in Dependable Component-Based Systems |
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
ECBS
2008
IEEE
13 years 6 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
CBSE
2006
Springer
13 years 6 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
KDD
2005
ACM
13 years 10 months ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...