Sciweavers

2478 search results - page 59 / 496
» Universality in two dimensions
Sort
View
CTRSA
2004
Springer
89views Cryptology» more  CTRSA 2004»
15 years 4 months ago
Universal Re-encryption for Mixnets
We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
Philippe Golle, Markus Jakobsson, Ari Juels, Paul ...
HPCS
2007
IEEE
15 years 5 months ago
The Coast-to-Coast Seminar and Remote Mathematical Collaboration
—We describe a shared Simon Fraser University (WestGrid) and Dalhousie (ACEnet) seminar series which is now two years old, and is gradually expanding to include other Canadian un...
Jonathan M. Borwein, David Langstroth, Mason S. Ma...
ENTCS
2007
106views more  ENTCS 2007»
14 years 11 months ago
Program and Algorithm Visualization in Engineering and Physics
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...
Michael Bruce-Lockhart, Theodore S. Norvell, Yiann...
FSEN
2007
Springer
15 years 5 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
DLT
2008
15 years 13 days ago
Universal Recursively Enumerable Sets of Strings
The present work clarifies the relation between domains of universal machines and r.e. prefix-free supersets of such sets. One such characterisation can be obtained in terms of the...
Cristian S. Calude, André Nies, Ludwig Stai...