4352 search results - page 195 / 871 » A Representation Theorem and Applications |
217
click to vote
CISC
2007
Springer
16 years 1 months ago
2007
Springer
Deniable authentication is a technique that allows one party to send messages to another while the latter can not prove to a third party the fact of communication. In this paper, w...
235
click to vote
MKM
2004
Springer
16 years 15 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
174
click to vote
SAT
2004
Springer
16 years 14 days ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
186
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
192
click to vote
SIGCOMM
1994
ACM
15 years 11 months ago
1994
ACM
Interframe compression techniques, such as those used in MPEG video, give rise to a coded bit stream where picture sizes di er by a factor of 10 or more. As a result, bu ering is ...