3732 search results - page 473 / 747 » Ubiquitous Computing for the Public |
214
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
191
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Public key encryption with keyword search (PEKS) enables user Alice to send a secret key TW to a server that will enable the server to locate all encrypted messages containing the...
186
click to vote
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
The peer review system as used in several computer science communities has several flaws including long review times, overloaded reviewers, as well as fostering of niche topics. T...
187
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...
220
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
We construct the first homomorphic signature scheme that is capable of evaluating multivariate polynomials on signed data. Given the public key and a signed data set, there is an...