2661 search results - page 191 / 533 » Model Checking Performability Properties |
145
Voted
WSC
2001
15 years 4 months ago
2001
We address performance issues associated with simulationbased algorithms for optimizing Markov reward processes. Specifically, we are concerned with algorithms that exploit the re...
126
Voted
ENTCS
2006
15 years 3 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
137
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
146
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
126
Voted
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...