505 search results - page 43 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
VRST
2003
ACM
15 years 5 months ago
2003
ACM
We propose a real-time interactive system that enables users to generate, manipulate and edit the shape model of a tree based on growth simulation by directly indicating its globa...
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
DAC
2002
ACM
16 years 24 days ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
105
click to vote
ICNC
2005
Springer
15 years 5 months ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
119
click to vote
ADVIS
2006
Springer
15 years 5 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...