467 search results - page 49 / 94 » I O-automata Based Testing |
125
click to vote
KES
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
SOUPS
2009
ACM
15 years 7 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
93
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Circuit fabrics composed of highly regular structures, called logic bricks, have been described recently for improving yield. An automated logic brick design flow based on a SAT ...
78
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
85
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...