1701 search results - page 154 / 341 » Computer Science and State Machines |
79
Voted
FOCS
2006
IEEE
15 years 4 months ago
2006
IEEE
We study a switch Markov chain on regular graphs, where switches are allowed only between links that are at distance 3; we call this the Flip. The motivation for studying the Flip...
113
Voted
STACS
2005
Springer
15 years 3 months ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...
72
Voted
ICMT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
73
Voted
ERSHOV
2001
Springer
15 years 2 months ago
2001
Springer
We argue that there is a gap between software engineering cultivated in the universities and industrial software development. We believe that it is possible to get academia and ind...
77
Voted
GI
2001
Springer
15 years 2 months ago
2001
Springer
In e-commerce, the protection of user privacy from a server was not considered feasible until the private information retrieval (PIR) problem was stated recently. A PIR protocol a...