1382 search results - page 7 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
110
click to vote
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
AAAI
1998
14 years 11 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
RTSS
2000
IEEE
15 years 2 months ago
2000
IEEE
101
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
80
Voted
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...