1229 search results - page 16 / 246 » Graph-Based Design and Analysis of Dynamic Software Architec... |
108
click to vote
TJS
2002
15 years 1 months ago
2002
: With the ever-increasing demands on server applications, reliability is of paramount importance. Often these services are implemented using a distributed server cluster architect...
115
Voted
FORTE
2004
15 years 3 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
119
Voted
JUCS
2008
15 years 1 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
148
Voted
WOSP
2000
ACM
15 years 6 months ago
2000
ACM
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...
131
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...