4340 search results - page 750 / 868 » Formal Methods and Cryptography |
157
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
129
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
The Internet, the World Wide Web, JavaTM technology, and software components are changing the software business. Activities traditionally constrained by the need for intense infor...
127
click to vote
PKDD
1999
Springer
15 years 8 months ago
1999
Springer
: For many KDD applications finding the outliers, i.e. the rare events, is more interesting and useful than finding the common cases, e.g. detecting criminal activities in E-commer...
131
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
162
click to vote
ECCV
1998
Springer
15 years 8 months ago
1998
Springer
The Multi-Stream automatic speech recognition approach was investigated in this work as a framework for Audio-Visual data fusion and speech recognition. This method presents many ...