3235 search results - page 487 / 647 » Partial Redundant Modeling |
134
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
115
click to vote
ICAT
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, various AR-based product design methodologies have been introduced. In this paper, we propose technologies for enhancing the immersive realization of virtual objects, whe...
113
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
114
click to vote
LCN
2005
IEEE
15 years 7 months ago
2005
IEEE
A performance model is presented for an optical packet switch architecture in which the wavelength converters are shared per output link and each output link consists of multiple ...