1888 search results - page 258 / 378 » Proof theory and computational analysis |
131
click to vote
ACMICEC
2004
ACM
15 years 7 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
135
click to vote
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
109
Voted
ASM
2003
ASM
15 years 7 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
114
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
114
Voted
ISER
1995
Springer
15 years 5 months ago
1995
Springer
Minimalism pursues the following agenda: For a given robotics task, nd the minimal con guration of resources required to solve the task. Thus, minimalism attempts to reduce the re...