3082 search results - page 72 / 617 » Deviation Analysis: A New Use of Model Checking |
132
click to vote
ISBI
2008
IEEE
15 years 12 months ago
2008
IEEE
New phase-shifting techniques have recently been proposed to suppress the complex-conjugate ambiguity in frequencydomain optical-coherence tomography. A phase shift is introduced,...
241
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
145
click to vote
RTSS
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
155
click to vote
SIBGRAPI
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
137
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...