G. Goos

Andrew U. Frank

J. Hartmanis

Jan Van Leeuwen

Stephen C. Hirtle

This book constitutes the refereed proceedings of the 1997 International Conference on Spatial Information Theory, COSIT'97, held in Laurel Highlands, Pennsylvania, USA, in October 1997. The 31 revised full papers presented were carefully selected from a total of 66 submissions. Also included are seven posters. The volume is divided into sections on representations of change, structuring of space, boundaries and gradations, topological models of space, formal models of space, cognitive aspects of spatial acquisition, novel use of spatial information, wayfinding and map interpretation, representations of spatial concepts, new approaches to spatial information.

International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997. Proceedings

Spatial Information Theory A Theoretical Basis for GIS

Prasad Jayanti

This book constitutes the refereed proceedings of the 13th International Symposium on Distributed Computing, DISC'99, held in Bratislava, Slovak Republic, in September 1999. The 23 revised full papers presented with an invited paper were carefully reviewed and selected from a total of 75 submissions. The papers address a variety of current issues in distributed algorithms, systems, and programming, in particular failure detectors, broadcasting, group communication services, quorum systems, cryptography, randomness, mutual exclusion, networking, protocols, scheduling algorithms, and self-stabilization.

13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings

Distributed Computing

Michael G. Hinchey

Jonathan P. Bowen

David Till

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

ZUM'97: The Z Formal Specification Notation

Ron Y. Pinter

Shalom Tsur

This book constitutes the refereed proceedings of the 4th International Workshop on Next Generation Information Technology and Systems, NGITS'99, held in Zikhron-Yaakov, Israel in July 1999. The 17 revised full papers presented were carefully reviewed and selected from 34 submissions. Also included are five reviewed short papers and abstracts of two invited talks. The papers are organized in topical sections on exploring the World Wide Web; database technology; storage, meta-information, ontologies, and software engineering; agents and work flow management technology; and data warehousing and mining.

4th International Workshop, NGITS'99 Zikhron-Yaakov, Israel, July 5-7, 1999 Proceedings

Next Generation Information Technologies and Systems

Jose Mira

Juan V. Sanchez-Andres

This book constitutes, together with its compagnion LNCS 1607, the refereed proceedings of the International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, held in Alicante, Spain in June 1999. The 89 revised papers presented were carefully reviewed and selected for inclusion in the book. This volume is devoted to foundational issues of neural computation and tools for neural modeling. The papers are organized in parts on neural modeling: biophysical and structural models; plasticity phenomena: maturing, learning, and memory; and artificial intelligence and cognitive neuroscience.

International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings

Foundations and Tools for Neural Modeling

David Gelernter

David Padua

Utpal Banerjee

David Sehr

Alex Nicolau

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996. The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism.

LCPC'97

Yi Pan

Serge Chaumette

Albert Y. Zomaya

Jose Rolim

Stephan Olariu

Tao Yang

Denis Caromel

Geoffrey Fox

Jos Ď. P. Rolim

José D. P. Rolim

Frank Mueller

Fikret Ercal

Binoy Ravindran

Jan Gustafsson

Hiroaki Takada

Ron Olsson

Laxmikant V. Kale

Pete Beckman

Matthew Haines

Hossam ElGindy

Keqin Li

G. Chiola

G. Conte

L. V. Mancini

Domenique Méry

Beverly Sanders

Devesh Bhatt

Viktor Prasanna

This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress. In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems.

11th [i.e. 11] IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999 : Proceedings

Parallel and Distributed Processing

Algebraic Structure Theory of Sequential Machines [by] J. Hartmanis [and] R.E. Stearns

Rafael Hirschfeld

This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA'96, held in Lyngby, Denmark, in August 1996. The volume presents revised full versions of 45 carefully selected contributed papers together with 31 invited presentations. The papers address all current aspects of applied parallel computing relevant for industrial computations. The invited papers review the most important numerical algorithms and scientific applications on several types of parallel machines.

First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings

Financial Cryptography

J. Hartmanis

About

Books

Join the club