139 search results - page 5 / 28 » Model Checking Graph Transformations: A Comparison of Two Ap... |
ENTCS
2007
14 years 11 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
100
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...