780 search results - page 38 / 156 » Compositional Quantitative Reasoning |
121
Voted
JWSR
2008
15 years 1 months ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
110
Voted
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
92
Voted
RE
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we discuss how mutual influences (e.g. conflicts) of different stakeholder concerns can be detected and reasoned about through composition and stepwise refinement. S...
107
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
113
click to vote
ENTCS
2006
15 years 1 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...