1014 search results - page 124 / 203 » ''What Is a Petri Net |
121
click to vote
FORTE
2004
15 years 2 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
139
Voted
APCCM
2009
15 years 1 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
98
Voted
ENTCS
2007
15 years 21 days ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
121
click to vote
TOPNOC
2008
15 years 19 days ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
117
Voted
JSS
2010
14 years 7 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...