140 search results - page 11 / 28 » Protocol verification using flows: An industrial experience |
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
The increasing number of launched satellites per year, calls for solutions to keep free operational space for telecommunication systems in geo-synchronized orbit, as well as to av...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
TON
1998
13 years 7 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
The paper presents results of the face verification contest that was organized in conjunction with International Conference on Pattern Recognition 2000 [14]. Participants had to u...