1801 search results - page 62 / 361 » Software Patterns in ITS Architectures |
130
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
As silicon process technology scales deeper into the nanometer regime, hardware defects are becoming more common. Such defects are bound to hinder the correct operation of future ...
119
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
113
click to vote
ICECCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
160
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving software required by systems such as information integration application...
126
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...