2025 search results - page 250 / 405 » Minimal-Cut Model Composition |
164
click to vote
FUIN
2008
15 years 5 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
132
Voted
EOR
2006
15 years 5 months ago
2006
When two competing and incompatible products coexist in a market, potential users face a choice between the two products and the alternative of deferring the decision. This paper ...
167
Voted
SQJ
2008
15 years 5 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
178
click to vote
APN
1992
Springer
15 years 9 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
160
click to vote
SEFM
2009
IEEE
15 years 12 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...