1239 search results - page 235 / 248 » Applying Model Checking to Concurrent UML Models |
105
click to vote
STTT
2008
15 years 2 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
106
Voted
CCR
2004
15 years 2 months ago
2004
The last decade has been a very fruitful period in important discoveries in network traffic modeling, uncovering various scaling behaviors. Self-similarity, long-range dependence,...
157
Voted
TACAS
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
147
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
148
Voted
AC
2000
Springer
15 years 7 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...