2025 search results - page 260 / 405 » Minimal-Cut Model Composition |
141
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
126
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
141
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
138
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
155
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...