2661 search results - page 103 / 533 » Model Checking Performability Properties |
150
Voted
ICST
2009
IEEE
15 years 7 days ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
116
Voted
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
132
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
104
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,...
102
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...