8828 search results - page 364 / 1766 » Formal methods in practice |
156
click to vote
ACISP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper presents a robust software token that was developed to protect user’s digital identity by simple software-only techniques. This work is closely related to Ho...
196
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
Visualization can be an important tool for displaying, categorizing and digesting large quantities of inter-related information during laboratory and simulation experiments. Summa...
172
click to vote
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
164
click to vote
APSEC
1997
IEEE
15 years 11 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
190
Voted
COCOA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...