247 search results - page 26 / 50 » Requirements and Evaluation Procedures for eVoting |
106
click to vote
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this work, we have extended the concept of constrained motion control of robots to surgical tasks that require multiple robots. We present virtual fixtures to guide the mot...
177
click to vote
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Databases are increasingly being used to store information covered by heterogeneous policies, which require support for access control with great flexibility. This has led to incr...
EURONGI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This work introduces a new analytical method for performance evaluation of wireless packet-oriented networks. Unlike traditional call admission control procedures commonl...
93
Voted
SC
1995
ACM
15 years 1 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...