1271 search results - page 112 / 255 » On Simulation-Checking with Sequential Systems |
120
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
201
click to vote
ACIVS
2005
Springer
15 years 12 months ago
2005
Springer
We describe an automated system that classifies gender by utilising a set of human gait data. The gender classification system consists of three stages: i) detection and extraction...
174
click to vote
CRYPTO
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we continue the study the round complexity of black-box zero knowledge in the bare public-key (BPK, for short) model previously started by Micali and Reyzin in [11]....
169
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
265
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we propose a panorama-based object tracking scheme for wide-view surveillance systems that can detect and track moving objects with a pan-tilt camera. A dynamic mosa...