941 search results - page 127 / 189 » Petri Nets Are Dioids |
167
click to vote
ISTA
2008
15 years 7 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
175
click to vote
FORTE
2004
15 years 7 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,...
196
click to vote
APCCM
2009
15 years 7 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...
163
click to vote
ENTCS
2007
15 years 6 months 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...
186
click to vote
TOPNOC
2008
15 years 6 months 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...