21324 search results - page 408 / 4265 » Making the case for computing |
154
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The security issue has become an important concern of grid computing. To prevent the grid resources from being illegally visited, the strong mutual authentication is needed for us...
173
Voted
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
156
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We investigate the problem of finding the metric structure of a general 3D scene viewed by a moving camera with square pixels and constant unknown focal length. While the problem ...
200
click to vote
MEMOCODE
2008
IEEE
16 years 16 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
143
click to vote
ICFCA
2007
Springer
16 years 9 days ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...