1580 search results - page 243 / 316 » Non-Interference Through Determinism |
134
click to vote
TSE
2010
15 years 1 months ago
2010
—Voting is the process through which a democratic society determines its government. Therefore, voting systems are as important as other well-known critical systems, such as air ...
196
click to vote
Publication
Tuning database system configuration parameters to proper values according to the expected query workload plays a very important role in determining DBMS performance. However, the ...
118
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...
142
click to vote
STOC
2010
ACM
16 years 20 days ago
2010
ACM
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...
116
click to vote
WISEC
2010
ACM
15 years 10 months ago
2010
ACM
The problem of localizing in-band wormhole tunnels in MANETs is considered. In an in-band wormhole attack, colluding attackers use a covert tunnel to create the illusion that two ...