752 search results - page 116 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
JSS
2002
13 years 8 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
ICDAR
1999
IEEE
14 years 24 days ago
1999
IEEE
This paper describes features and methods for document image comparison and classification at the spatial layout level. The methods are useful for visual similarity based document...
CLEF
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents the LIG contribution to the CLEF 2007 medical retrieval task (i.e. ImageCLEFmed). The main idea in this paper is to incorporate medical knowledge in the langua...