2935 search results - page 330 / 587 » An Integrated Approach to High Integrity Software Verificati... |
182
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. In this paper, we investigate brain hallucination, or generating a high resolution brain image from an input low-resolution image, with the help of another high resolutio...
139
click to vote
DATE
2006
IEEE
16 years 17 days ago
2006
IEEE
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...
167
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper, we study the problem of misbehavior detection in wireless networks . A commonly adopted approach is to utilize the broadcast nature of the wireless medium...
176
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
186
click to vote
JSS
2010
15 years 1 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...