J.UCS, Volume 1

Volume 1, Number 1, January 1995

Hermann A. Maurer:
Managing Editor's Column. 1
Peter M. Fenwick:
High-Radix Division with Approximate Quotient-Digit Estimation. 2-22
Ville Leppänen:
On Implementing EREW Work-Optimally on Mesh of Trees. 23-34
Bill Flinn, Hermann A. Maurer:
Levels of Anonymity. 35-47
Cristian Calude:
What Is a Random String? 48-66
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Grammars Based on the Shuffle Operation. 67-81

Hermann A. Maurer:
Managing Editor's Column. 83
Frank Kappe:
A Scalable Architecture for Maintaining Referential Integrity in Distributed Information Systems. 84-104
Rudolf Freund, Gheorghe Paun:
A Variant of Team Cooperation in Grammar Systems. 105-130
Juha Honkala, Werner Kuich:
On Four Classes of Lindenmayerian Power Series. 131-135
Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng:
The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions. 136-150
Vadim Bulitko:
On Completeness of Pseudodimple Sets. 151-154

Hermann A. Maurer:
Managing Editor's Column. 155
P. Carlson, V. Larralde:
Combining Concept Mapping and Adaptive Advice to Teach Reading Comprehension. 156-161
Marc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller:
Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions. 162-175
Robert W. Doran:
Special Cases of Division. 176-194
Carl Gutwin, Marlene Jones, Patrick Brackett, Kim Massie Adolphe:
Bringing ITS to the Marketplace: A Successful Experiment in Minimalist Design. 195-200
Karl Svozil:
Halting Probability Amplitude Quantum Computers. 201-204

Hermann A. Maurer:
Managing Editor's Column. 205
Keith Andrews, Frank Kappe, Hermann A. Maurer:
The Hyper-G Network Information System. 206-220
Robert Cailliau:
About WWW. 221-231
Dietrich Goetze:
Electronic Publishing. 232-234
Mark P. McCahill, F. X. Anklesaria:
Evolution of Internet Gopher. 235-246
H. Muelner:
WAIS and Information Retrieval on the Internet. 247-250

Hermann A. Maurer:
Managing Editor's Column. 251
Erzsébet Csuhaj-Varjú, Gheorghe Paun, Arto Salomaa:
Conditional Tabled Eco-Grammar Systems. 252-268
Erik Duval, Henk J. Olivié, Piers O'Hanlon, David G. Jameson:
HOME: An Environment for Hypermedia Objects. 269-291
Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu:
Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model. 292-311
J. Shearer, Arnould Vermeer:
Software Patents and the Internet. 312-319
K. Zhang, Y. Zheng:
GAC - the Criterion for Global Avalance Characteristics of Cryptographic Functions. 320-337

Hermann A. Maurer:
Managing Editor's Column. 338
Richard Banach, J. Balazs, G. Papadoupolous:
A Translation of the Pi-Caculus Into MONSTR. 339-398
Artur Klauser, Reinhard Posch:
Distributed Caching in Networked File Systems. 399-409
Jennifer Lennon, Arnould Vermeer:
From Personal Computer to Personal Assistant. 410-422
Ivan Tomek:
Microworlds for Teaching Concepts of Object Oriented Programming. 423-434

Hermann A. Maurer:
Managing Editor's Column. 435
Jean-Claude Bajard, Dominique Michelucci, Jean-Michel Moreau, Jean-Michel Muller:
Introduction to the Special Issue: "Real Numbers and Computers". 436-438
Thomas Lynch, Michael J. Schulte:
A High Radix On-Line Arithmetic for Credible and Accurate Computing. 439-453
J. Asserrhine, Jean Marie Chesneaux, Jean Luc Lamotte:
Estimation of Round-Off Errors on Several Computer Architectures. 455-468
Fabienne Jézéquel:
Round-Off Error Propagation in the Solution of the Heat Equation by Finite Differences. 469-483
Peter Kornerup, David W. Matula:
LCF: A Lexicagraphic Binary representation of the Rationals. 484-503
David R. Lester:
Exact Statistics and Continued Fractions. 504-513
S. Markov:
On Direct Interval Arithmetic and its Applications. 514-526
Asger Munk Nielsen, Peter Kornerup:
MSB-First Digit Serial Arithmetic. 527-547
R. Pavec:
Some Algorithms Providing Rigorous Bounds for the Eigenvalue of a Matrix. 548-559
Evgenija D. Popova:
On Formally Correct Implementation of IEEE Computer Arithmetic. 560-569

Hermann A. Maurer:
Managing Editor's Column. 570
Patricia A. Carlson:
BROCA: A Computerized Environment for Mediating Scientific Reasoning. 571-590
Peter M. Fenwick:
Differential Ziv-Lempel Text Compression. 591-602
Laurentiu Panaitopol, Doru Steffánescu:
Bounds for Heights of Integer Polynomial Factors. 603-613
Axel Pinz, Manfred Prantl, Harald Ganster:
A Robust Affine Matching Algorithm Using an Exponentially Decreasing Distance Function. 614-631

Hermann A. Maurer:
Managing Editor's Column. 632
Rohan F. M. Aranha, C. Pandu Rangan:
An Efficient Distributed Algorithm For st-numbering The Verices Of A Biconnected Graph. 633-650
Juha Honkala:
A Decision Method for the Unambiguity of Sets Defined by Number Systems. 652-657
Dongming Wang:
A Method for Proving Theorems in Differebtial Geometry and Mechanics. 658-673

Hermann A. Maurer:
Managing Editor's Column. 718
Hermann A. Maurer, Jennifer Lennon:
Digital Libraries as Learning and Teaching Support. 719-727
Wolfgang Mayerwieser, Karl C. Posch, Reinhard Posch, Volker Schindler:
Testing a High-Speed Data Path: The Design of the RSAs Crypto Chip. 728-743
Andrew Pam, Arnould Vermeer:
A Comparison of WWW and Hyper-G. 744-750

Hermann A. Maurer:
Managing Editor's Column. 751
Oswin Aichholzer, Franz Aurenhammer, David Alberts, Bernd Gärtner:
A Novel Type of Skeleton for Polygons. 752-761
Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Johann H. Schlichter:
Constraint Agents for the Information Age. 762-789
Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Parikh Prime Words and GO-like Territories. 790-810
Marco Platzner, Bernhard Rinner, Reinhold Weiss:
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. 811-820
Catalina Stefanescu:
A Markov Process for Sequential Allocation. 821-827

Last update Mon May 20 01:25:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page