Information processing 83: proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983

Front Cover

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

FORMAL AND INFORMAL MODELS OF OFFICE ACTIVITY
11
The ISO Reference Model and Other Protocol Architectures
29
Specification and Validation of Protocols by Temporal Logic and Nets
47
TRENDS IN OFFICE WORKSTATION DESIGN
65
FACING A NEW GENERATION OF EXPERIMENTS
79
A New Interactive Geographical Information System Based on Effective ImageType Map Representation
95
PROGRAMMING METHODOLOGY
101
APPLICATIONS
121
Decentralised Control Flow Programming
487
CAD TECHNIQUES
501
LOCAL NETWORKING OF PERSONAL COMPUTERS
525
The BDTree a New nDimensional Data Structure with Highly Efficient Dynamic Characteristics
539
DATAFLOW MACHINES
545
OFFICE WORK SUPPORT
561
Microprocessor Controlled Equipment for Measuring Plate Efficiency in Distillation
579
DATA BASE APPLICATIONS
603

FUNCTIONAL PROGRAMMING
133
DATABASE SYSTEM DESIGN FOR HIGH PERFORMANCE
147
Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine
163
ELEMENTS OF DISTRIBUTED SYSTEMS
177
Software Engineering An Educational Challenge
193
FUTURE MICROPROCESSOR TRENDS
213
QUERY EVALUATION
229
UNIVERSAL RELATION INTERFACES FOR DATABASE SYSTEMS
243
Applicative Real Time Programming
259
COMPUTER
275
LOGIC PROGRAMMING
293
PROGRAM TRANSFORMATIONS AND OPTIMIZATION
307
SPECIFICATION AND DESIGN OF PARALLEL PROGRAMS
321
Strongest Invariant Functions
339
DATABASE MACHINES
357
EXPECTATIONS OF STANDARDIZATION
375
Practical Vectorization Techniques for the FACOM VP
389
ABSTRACTION COMPLEXITY
407
Toward a Unified Logic Basis for Programming Languages
425
COMPUTING IN THE DEVELOPING COUNTRIES OF ASIA
439
Synchronous and Asynchronous Experiments on Processes
453
COMPUTERS IN DEVELOPING AND DEVELOPED COUNTRIES A CONTRAST
471
A LanguageAdaptive Programming Environment Based on a Program Analyzer and a Structure Editor
621
IMPLEMENTATION AND ENGINEEREMG OF A PRODUCTIONORIENTED DBMS
637
WHAT GOOD IS TEMPORAL LOGIC?
657
A ManMachine Speech Communication System Including WordBased Recognition and TexttoSpeech
673
Facsimile Computer Communication by CenterEnd Facsimile Communication Network
687
DATABASE MODELS
705
GETTING TOGETHER WITH COMPUTERS
719
NEW ISSUES OF COMPUTER PRD7ACY IN THE EIGHTIES
733
INFORMATION RETRIEVAL
755
CONVERSION AND AN ANALYTIC SEMANTICS
771
MODELS FOR SYSTEMS AND ORGANIZATIONS
787
SPECIFICATION LANGUAGES
809
Architectural and Functional Features of Matrix Model MAMO
827
COMPARISON OF CONCURRENCY CONTROL METHODS USING ANALYTIC MODELS
847
SOME LINEARTIME ALGORITHMS FOR SYSTOLIC ARRAYS
865
PROGRESS IN COMPUTER NETWORKS
883
LP A Programming a New Tool for Education
897
Types and Specifications
917
COMPILER DEVELOPMENT
931
Panel Sessions
964
Copyright