3378 search results - page 320 / 676 » A universe of binding and computation |
159
click to vote
AAECC
1993
Springer
15 years 11 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
172
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
143
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
regated Graphs for Modeling Spatio-Temporal Networks - An Extended Abstract Technical Report Department of Computer Science and Engineering University of Minnesota 4-192 EECS Build...
182
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
189
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...