3229 search results - page 471 / 646 » Theories with the Independence Property |
163
click to vote
NDJFL
1998
15 years 6 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
172
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Many techniques have been proposed to scale web applications. However, the data interdependencies between the database queries and transactions issued by the applications limit th...
192
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...
189
click to vote
DIS
2007
Springer
16 years 22 days ago
2007
Springer
We describe a technique for comparing distributions without the need for density estimation as an intermediate step. Our approach relies on mapping the distributions into a reprodu...
119
click to vote
MFCS
2007
Springer
16 years 21 days ago
2007
Springer
The aim of this paper is to study communication in networks where nodes fail in a random dependent way. In order to capture fault dependencies, we introduce the neighborhood fault...