13140 search results - page 428 / 2628 » Coupling Component Systems towards Systems of Systems |
185
click to vote
FAST
2010
15 years 10 months ago
2010
Recently, power has emerged as a critical factor in designing components of storage systems, especially for power-hungry data centers. While there is some research into power-awar...
197
click to vote
CSMR
2007
IEEE
16 years 2 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
184
click to vote
APSEC
2007
IEEE
16 years 2 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 ...
175
click to vote
IWPC
1999
IEEE
15 years 12 months ago
1999
IEEE
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
213
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...