1356 search results - page 48 / 272 » The ideal of verified software |
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
ETFA
2005
IEEE
15 years 5 months ago
2005
IEEE
Data access and software exchange are often achieved over insecure networks such as the public Internet. System designers are therefore forced to be proactive with regard to verif...
BIOID
2008
15 years 1 months ago
2008
This paper focuses on the requirements for face images to be used in Machine Readable Travel Documents, defined in the ISO/IEC 19794-5 standard. In particular an evaluation framewo...
JSC
2010
14 years 6 months ago
2010
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The problem of character recognition in a book should be formulated significantly different from that of a single page or word. An ideal approach to design such a recognizer is to...