1690 search results - page 172 / 338 » Algorithmic Properties of Millstream Systems |
125
click to vote
COCO
2004
Springer
15 years 10 months ago
2004
Springer
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal...
138
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
156
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
136
click to vote
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
173
click to vote
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...