886 search results - page 61 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
CAEPIA
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
FMCAD
2009
Springer
15 years 1 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...