5639 search results - page 1058 / 1128 » Timed Abstract Non-interference |
106
click to vote
ACNS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In voting based on homomorphic threshold encryption, the voter encrypts his vote and sends it in to the authorities that tally the votes. If voters can send in arbitrary ...
143
Voted
APPT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
125
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
137
Voted
ER
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...