Sciweavers

598 search results - page 32 / 120
» Note on parallel universes
Sort
View
COCOON
2001
Springer
15 years 2 months ago
Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...
Iain A. Stewart
GRAPHITE
2007
ACM
15 years 1 months ago
Anna Ursyn
This review tells about the International Conference on Information Visualization that is held annually in London, England. Themes selected from the Conference Proceedings are foc...
Anna Ursyn
JUCS
2000
117views more  JUCS 2000»
14 years 9 months ago
The Light Control Case Study: Problem Description
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...
Stefan Queins, Gerhard Zimmermann, Martin Becker, ...
CONCUR
1998
Springer
15 years 1 months ago
Automata and Coinduction (An Exercise in Coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
Jan J. M. M. Rutten
SAS
2000
Springer
15 years 1 months ago
Flattening Is an Improvement
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
James Riely, Jan Prins