252 search results - page 20 / 51 » A Methodology for Automatic Diagnosability Analysis |
100
click to vote
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
117
click to vote
CIVR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...
DSVIS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
103
click to vote
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisï¬es a critical property. We report on a case study constructing a depend...
100
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...