9166 search results - page 1518 / 1834 » A framework for comparing models of computation |
166
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
158
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
157
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
172
click to vote
PKC
2007
Springer
16 years 24 days ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
183
click to vote
PVM
2007
Springer
16 years 24 days ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...