384 search results - page 60 / 77 » On the Semantics of Markov Automata |
126
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
119
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
133
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
98
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
104
click to vote
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...