1941 search results - page 356 / 389 » Reasoning about Computations Using Two-Levels of Logic |
101
click to vote
SIGMOD
1995
ACM
15 years 3 months ago
1995
ACM
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
SIGSOFT
2009
ACM
16 years 17 days ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
AFRICACRYPT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...
BNCOD
2004
15 years 1 months ago
2004
A student with a Computing Science degree is expected to have reached a reasonable level of expertise in SQL. SQL is a non-trivial skill to master and is taught with different degr...