384 search results - page 67 / 77 » On the Semantics of Markov Automata |
122
click to vote
ENTCS
2008
15 years 1 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
140
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
119
Voted
SAC
2005
ACM
15 years 7 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
105
click to vote
AAAI
2010
15 years 3 months ago
2010
In order to improve the user search experience, Query Suggestion, a technique for generating alternative queries to Web users, has become an indispensable feature for commercial s...
137
click to vote
BIS
2007
15 years 3 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...