2661 search results - page 191 / 533 » Model Checking Performability Properties |
193
click to vote
WSC
2001
15 years 7 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...
164
click to vote
ENTCS
2006
15 years 6 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...
184
click to vote
APSEC
2005
IEEE
16 years 4 days 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...
194
click to vote
CORR
2011
Springer
15 years 1 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...
171
click to vote
LICS
2003
IEEE
15 years 11 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...