3495 search results - page 263 / 699 » On the random satisfiable process |
192
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The realisation of electronic commerce process is very difficult without appropriate system for electronic payment. Of course it is possible to use some of the convention...
184
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
In this paper, we describe a new indexing technique, the time indez, for improving the performance of certain classes of temporal queries. The time index can be used to retrieve v...
226
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
209
click to vote
ESORICS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
193
click to vote
VMV
2001
15 years 8 months ago
2001
Depth reconstruction or acquisition with a 3-D camera results in a video sequence where each pixel of a frame is annotated with a depth value. We propose an approach to combine th...