208 search results - page 18 / 42 » Performance evaluation and model checking join forces |
DAC
2008
ACM
14 years 8 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
ISCIS
2005
Springer
14 years 1 months ago
2005
Springer
Ad hoc networks, being able to organize themselves without user intervention, can easily provide their users with mobility, multimedia support and group communication. However, the...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
IPCAI
2010
13 years 6 months ago
2010
Colonoscopy is a minimally invasive endoscopic procedure to survey, diagnose and treat possible disease in the colon. Clinicians are trained to manipulate a colonoscope while minim...