1113 search results - page 32 / 223 » Counter Systems for Data Logics |
140
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
155
Voted
TKDE
2010
15 years 2 months ago
2010
—Peer-to-peer (P2P) networks are vulnerable to peers who cheat, propagate malicious code, leech on the network, or simply do not cooperate. The traditional security techniques de...
130
click to vote
SFP
2003
15 years 5 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
153
click to vote
DASC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
133
Voted
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...