Gerhard Ritter (Ed.):
Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989. North-Holland/IFIP, 1989, ISBN 0-444-88015-1
Frontiers in Computing (Panel)
export record as
dblp key:
export record as
dblp key:
Vladimír Cerný :
Frontiers in Computing: Computing as a Simulation of Physical Systems.
2
export record as
dblp key:
Teuvo Kohonen :
Practical Problems and Vistas of Neural Computing (Position Statement).
3
Randomization in Distributed & Parallel Computing
export record as
dblp key:
Real Time Programming:
Special Purpose or General Purpose Languages
export record as
dblp key:
Gérard Berry :
Real Time Programming: Special Purpose or General Purpose Languages.
11-17
export record as
dblp key:
Jan Storbank Pedersen :
Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming.
19-20
Languages with Concurrency
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Expert Systems:
Professional Tools for Data Communication? (Panel)
export record as
dblp key:
Dipak Khakhar :
Expert Systems: Professional Tools for Data Communication? (Panel).
39-40
export record as
dblp key:
Peter Politakis :
A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel).
41
Industrial Tools
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lap-Ming Liu ,
N. S. Pryes :
SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems.
55-60
Effective Industrial Application of Formal Methods
export record as
dblp key:
Bernard Sufrin :
Effective Industrial Application of Formal Methods.
61-69
Report on Information Technology Projects in the People's Republic of China
export record as
dblp key:
Xiao Xiang Zhang :
Some Comments on Research and Development of Information Processing in China.
71
export record as
dblp key:
Kongshi Xu :
Report on R and D at the Software Institute.
73-76
export record as
dblp key:
export record as
dblp key:
Lan Jin :
Report on Interconnection Networks and Distributed Processing Projects in China.
79-80
export record as
dblp key:
Jiafu Xu :
Report on a Software Automation R&D Project.
81
Specification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Better Tools - Less Education?
export record as
dblp key:
export record as
dblp key:
Hardware and Software Dependability Evaluation
export record as
dblp key:
export record as
dblp key:
Hardware and Software Dependability Evaluation (Panel)
export record as
dblp key:
John F. Meyer :
Hardware and Software Dependability Evaluation: Future Trends.
117
export record as
dblp key:
William C. Carter :
Hardware and Software Dependability Evaluation: System Dependability.
118
export record as
dblp key:
Bev Littlewood :
Hardware and Software Dependability Evaluation: Software Dependability.
119
export record as
dblp key:
Shunji Osaki :
Hardware and Software Dependability Evaluation: Hardware Dependability.
120
"Perfect" Pseudo-Random Number Generation
export record as
dblp key:
Silvio Micali :
"Perfect" Pseudo-Random Number Generation.
121-126
export record as
dblp key:
export record as
dblp key:
Programming Human Computer Interaction
export record as
dblp key:
export record as
dblp key:
conf/ifip/Franchi-Zannettacci89 export record as
dblp key:
Distributed Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Communication Support for Distributed Systems
export record as
dblp key:
André A. S. Danthine :
Communication Support for Distributed Systems: OSI verus Special Protocols.
181-190
Knowledge Representation Systems:
Implementation, Experiences, Directions (Panel)
export record as
dblp key:
Nick Cercone :
Better Tool for Professionals: Knowledge Based Systems.
191-192
export record as
dblp key:
James Davidson :
Towards Practical Knowledge Representation Systems.
193
export record as
dblp key:
Koichi Furukawa :
Constraint Logic Programming as a New Vehicle for Knowledge Representation.
194
Industrial Strength Software Development Environments
export record as
dblp key:
Dewayne E. Perry :
Industrial Strength Software Development Environments.
195-203
Software Engineering Directions, Approaches and Issues
export record as
dblp key:
Peter Freeman :
Strategic Directions in Software Engineering: Past, Present, and Future.
205-210
export record as
dblp key:
Herb Krasner :
Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process.
211-216
export record as
dblp key:
Supercomputing in the 1990's
export record as
dblp key:
Future Trends in Supercomputing:
Access and Evaluation (Panel)
export record as
dblp key:
John R. Gurd :
Future Trends in Supercomputing: Access and Evaluation.
229
export record as
dblp key:
export record as
dblp key:
Zero-Defect Designs, Why and How:
Formal Verification vs. Automated Synthesis
export record as
dblp key:
export record as
dblp key:
Representational Issues in Modeling User Tasks, Knowledge, and Interfaces
export record as
dblp key:
export record as
dblp key:
M. Herrmann ,
R. Hill :
Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object Architecture.
253-258
export record as
dblp key:
Computers and Continuing Education (Panel)
export record as
dblp key:
export record as
dblp key:
Milton R. Pine :
Some Unresolved Issues for Computers in Continuing Education.
266
How Specialists Perceive the Social Impact of Computers (Panel)
export record as
dblp key:
export record as
dblp key:
Information System Design and Work in Organisation Design (Panel)
export record as
dblp key:
conf/ifip/Fuchs-KittowskiF89 Klaus Fuchs-Kittowski ,
Margrit Falck :
Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach.
269-270
export record as
dblp key:
Ulrich Briefs :
Information System Design and Design of Work and Organization (Position Paper).
271
export record as
dblp key:
export record as
dblp key:
Ina Wagner :
Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning.
273-274
Algorithms and Complexity of Computation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Parallel and Distributed Algorithms
export record as
dblp key:
export record as
dblp key:
Bernd Freisleben :
Non-Broadcast Communication Schemes for Information Dissemination.
299-304
export record as
dblp key:
How to Use OSI - Practical Experience and Limitations (Panel)
export record as
dblp key:
Gesualdo Le Moli :
Impact of OSI on the Architecture of the Design of Application Processes.
311
export record as
dblp key:
export record as
dblp key:
V. Lazarev :
Layer N Protocol Decomposition on Subprotocols.
313
export record as
dblp key:
Logical Foundations of Deductive Databases
export record as
dblp key:
export record as
dblp key:
John W. Lloyd :
Logic as a Foundation for Deductive Database Systems.
323-324
Implementation Issues for Knowledge Bases
export record as
dblp key:
Robert Demolombe :
An Efficient Strategy for Non-Horn Deductive Data Bases.
325-330
export record as
dblp key:
export record as
dblp key:
Validation of Hardware and Software:
Similarities and Differences (Panel)
export record as
dblp key:
Jan Hlavicka :
Validation and Verification of Hardware and Software (Position Statement).
343
export record as
dblp key:
Software Engineering Environments
export record as
dblp key:
Dick Schefström :
Building a Highly Integrated Development Environment Using Preexisting Parts.
345-350
export record as
dblp key:
export record as
dblp key:
Future Computing Media:
Japan's Efforts
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Silicon Compilers:
How Well Have They Done, and Where Are They Headed? (Panel)
export record as
dblp key:
Randal E. Bryant :
Silicon Compilers: How Well Have They Done, and Where Are They Headed?
379
export record as
dblp key:
Hugo De Man :
Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms.
380
Can Office Technology Support Office Dialogues?
export record as
dblp key:
Terry Winograd :
Can Office Technology Support Office Dialogues?
381-387
export record as
dblp key:
Carl Hewitt :
Toward an Open Systems Architecture.
389-392
Can Current Office Models Support Automation?
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lucy A. Suchman :
What Are Models for and Do We Want Them to Support Automation?
397
Advanced Design for Automated Manufacture
export record as
dblp key:
Günter Spur :
Advanced Design for Automated Manufacture.
399-406
export record as
dblp key:
Computer Eduction for All
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tony Bryant :
Better Professionals for the Tools.
419-425
Developing Competence in a Developing Environment
export record as
dblp key:
Helder Coelho :
Developing Competence in a Developing Environment.
427-433
export record as
dblp key:
Data Structure Design and Analysis
export record as
dblp key:
export record as
dblp key:
conf/ifip/KirschenhoferPS89 export record as
dblp key:
Randomized Parallel Algorithms
export record as
dblp key:
export record as
dblp key:
Silvia M. Müller ,
Wolfgang J. Paul :
Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers.
459-460
Experiences and Trends
export record as
dblp key:
export record as
dblp key:
Ray Hunt :
A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation.
467-472
export record as
dblp key:
From ISDN to IBCN
export record as
dblp key:
Paul J. Kühn :
rom ISDN to IBCN (Integrated Broadband Communication Network).
479-486
export record as
dblp key:
Knowledge Bases and Databases (Panel)
export record as
dblp key:
Yves Kodratoff :
The AI Approach to ML and Enlarging the "ES Certification Bottleneck".
489
Software Fault Tolerance
export record as
dblp key:
Can Software Faults Be Tolerated? (Panel)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
John C. Knight :
Can Software Faults be Tolerated? (Position Statement).
501
export record as
dblp key:
David Lorge Parnas :
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts".
1145-1146
The Effectiveness of Neural Computing
export record as
dblp key:
Modeling and Performance Evaluation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Chi-Hung Chi :
Improving Cache Performance Using a Unified Management of Registers and Cache.
521-526
Design Automation in Industry I:
Experience Across the World (Panel)
export record as
dblp key:
export record as
dblp key:
François Anceau :
Formal Verification: A Significant Step Towards Zero Deffect VLSI Design.
528
export record as
dblp key:
export record as
dblp key:
Ulrich Lauther :
Some Experiences with Advanced Design Automation Tools.
530
export record as
dblp key:
Akihiko Yamada :
Design Automation for Large Mainframes and Supercomputers in NEC.
531
Design Automation in Industry II:
Challenges Across the World (Panel)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
User Interface Technologies
export record as
dblp key:
Gerhard Weber :
Reading and Pointing - Modes of Interaction for Blind Users.
535-540
export record as
dblp key:
Yuzuru Tanaka ,
Takamoto Imataki :
IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations.
541-546
export record as
dblp key:
Impact of Computer Technologies on Education
export record as
dblp key:
Jef Moonen :
Impact of Computer Technologies on Education.
553-559
export record as
dblp key:
Educational Tools for Informatics
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fred Mulder :
Distance Learning of University Level Informatics with and without Computers.
575-580
Fractals:
A New Challenge to Model Reality
export record as
dblp key:
export record as
dblp key:
Designing Concurrency Semantics
export record as
dblp key:
export record as
dblp key:
Semantics and Concurrency
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Europe/USSR/Japan on Computing Systems Architectures
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kazuo Taki :
The FGCS Computing Architecture.
627-632
Backbone Networks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Network Interconnection and Gateways
export record as
dblp key:
export record as
dblp key:
Principles of Knowledge Representation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Véronique Royer :
Modeling Preference Choices in Incomplete Deductive Databases.
673-678
Applications of Knowledge Based Systems
export record as
dblp key:
export record as
dblp key:
Zhigang Xiang :
A Dual-Level Differentiation Strategy for Fault Localization.
687-692
export record as
dblp key:
Software Factories Around the World (Panel)
export record as
dblp key:
Colin Tully :
Software Factories Around the World: Introduction to Panel Session.
699-700
export record as
dblp key:
export record as
dblp key:
Software Engineering Databases
export record as
dblp key:
Gail E. Kaiser :
A Marvelous Extended Transaction Processing Model.
707-712
export record as
dblp key:
export record as
dblp key:
The Graphics Supercomputer
export record as
dblp key:
The Evolution of VHDL
export record as
dblp key:
Computer Supported Cooperative Work (Panel)
export record as
dblp key:
Matthias Jarke :
Computer-Supported Cooperative Design: A Knowledge Base Management Approach.
743
export record as
dblp key:
Kalle Lyytinen :
Computer Supported Coorperative Work (CSCW) - Issues and Challenges.
744
The Future Office Automation
export record as
dblp key:
export record as
dblp key:
Computer Integrated Manufacturing
export record as
dblp key:
Steven F. Shevell :
Computer Integrated Manufacturing: Small Can Be Beautiful.
753-758
export record as
dblp key:
export record as
dblp key:
Flexible Integrated Automation Systems (Panel)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Personal Computers on Campuses:
The Experience (Panel)
export record as
dblp key:
export record as
dblp key:
Rita M. M. De Caluwe :
Personal Computers on Campuses: The Experience at the Univerity of Ghent.
776-777
export record as
dblp key:
Paolo Ercoli :
Personal Computers on Campuses: The Experience.
778
export record as
dblp key:
export record as
dblp key:
P. Jarratt :
Personal Computers on Campuses: The Experience.
780-781
Proofs as Advanced and Powerful Tool
export record as
dblp key:
export record as
dblp key:
Why Isn't There an Object-Oriented Data Model?
export record as
dblp key:
David Maier :
Why Isn't There an Object-Oriented Data Model?
793-798
export record as
dblp key:
Kazumasa Yokota :
What is Expected of an Object-Oriented Data Model?
799-800
Extending Database Technology
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Information Management
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specification of Distributed Systems
export record as
dblp key:
export record as
dblp key:
Manfred Broy :
Functional Specification of Communicating Systems.
851-856
export record as
dblp key:
Wojciech Penczek :
A Temporal Logic for the Local Specification of Concurrent Systems.
857-862
SEI on the Software Technology Transtion
export record as
dblp key:
Norman E. Gibbs :
The SEI Education Program: Strategy and Accomplishments.
863-866
export record as
dblp key:
export record as
dblp key:
Judy Bayer ,
Nancy Melone :
Technology Transition of Software Engineering Innovations: Experiences in the Field.
871-874
Europe/USSR/USA on Down & Upstream SE Environments
export record as
dblp key:
Ian Thomas :
Software Environments: PCTE and Related Projects.
875-878
export record as
dblp key:
export record as
dblp key:
Supercomputers for Scientific Computing
export record as
dblp key:
export record as
dblp key:
Design Methods and Tools for Application Specific Integrated Circuits
export record as
dblp key:
conf/ifip/Sangiovanni-Vincentelli89 export record as
dblp key:
Zen and the Art of Analog Design Automation (Panel)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Intelligent User Interfaces:
Boon or Bane (Panel)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wolfgang Wahlster :
Intelligent Interfaces as Cooperative Agents: From Stick Shift to Automatic Transmission in Human-Computer Interaction.
917
Production Planning and Scheduling in CIM
export record as
dblp key:
export record as
dblp key:
Artificial Intelligence and Advanced Robotics (Panel)
export record as
dblp key:
export record as
dblp key:
Martin Brooks :
Some Recent Process in Sensor-Based Motion Planning.
930
export record as
dblp key:
Ramesh Jain :
Environment Model for Advanced Robots.
931
export record as
dblp key:
Introduction of Informatics at University
export record as
dblp key:
export record as
dblp key:
Stewart A. Denenberg :
Developing Reasoning Skills in College Freshman Using Computer Programming, Collaborative Problem Solving and Writing.
947-952
Foundations of Software Engineering - The Silver Bullet (Panel)
export record as
dblp key:
Manfred Broy :
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.
953
export record as
dblp key:
David Gries :
Position Statement on the Foundations of Software Engineering.
954
export record as
dblp key:
Cliff B. Jones :
Position Statement for the Panel on Foundations of Software Engineering.
955
export record as
dblp key:
Harlan D. Mills :
Position Statement - Foundations of Software Engineering.
956
Parallelism in Logic Programming
export record as
dblp key:
export record as
dblp key:
Mehmet Dincbas :
Parallelism vs. Efficiency in Logic Programming.
965-966
Europe/Japan on Logic Programming & Knowledge Base Systems
export record as
dblp key:
export record as
dblp key:
Fumio Mizoguchi :
Novel Aspects of Logic Programming in New Generation Applications.
973-976
SPC on Production-Oriented Software Engineering
export record as
dblp key:
Arthur B. Pyster :
"Synthesis" - A Reuse/Prototyping Process for Software Development.
977-980
export record as
dblp key:
export record as
dblp key:
Supercomputing in Airplane Design
export record as
dblp key:
General-Purpose Multiprocessors
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Advances in VLSI-Testing
export record as
dblp key:
export record as
dblp key:
ESPRIT on Office Systems & Computer Integrated Manufacturing
export record as
dblp key:
export record as
dblp key:
conf/ifip/Cambell-GrantK89 export record as
dblp key:
conf/ifip/Schlechtendahl89
Object-Oriented Development for Open Systems
export record as
dblp key:
export record as
dblp key:
Ifay F. Chang :
Advanced Software Technology for Automating the Office.
1041-1042
Erpert Systems & Factory Automation
export record as
dblp key:
export record as
dblp key:
Esko Juuso :
An Expert System in Fuzzy Simulation of Metallurgical Processes.
1051-1056
Artificial Intelligence and Production Management
export record as
dblp key:
export record as
dblp key:
J. Browne :
A Respons to the Paper of E. Eloranta and J. Hynynen.
1065-1066
Problems in Specific Education Areas
export record as
dblp key:
Abdechahid Qualid :
Problems of Software Development in Developing Countries.
1067-1071
export record as
dblp key:
export record as
dblp key:
Tools for Progress of Society
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Structures in an Informal World
export record as
dblp key:
Heinz Zemanek :
Formal Structures in an Informal World: Information Processing is Model Processing for Reality.
1101-1105
export record as
dblp key:
Specification and Verification Techniques
export record as
dblp key:
export record as
dblp key:
Morten Wieth :
Loose Specification and Its Semantics.
1115-1120
export record as
dblp key:
Peter Padawitz :
Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion.
1121-1126
Semantics of Programming Languages
export record as
dblp key:
conf/ifip/MeierACDEVHKPRS89 Micha Meier ,
Abderrahmane Aggoun ,
David Chan ,
Pierre Dufresne ,
Reinhard Enders ,
Dominique Henry de Villeneuve ,
Alexander Herold ,
Philip Kay ,
Bruno Perez ,
Emmanuel van Rossum ,
Joachim Schimpf :
SEPIA - An Extendible Prolog System.
1127-1132
export record as
dblp key:
Wei Li :
A Type-Theoretic Approach to Program Development.
1133-1138
export record as
dblp key:
Experiences with Expert Systems
export record as
dblp key:
David Lorge Parnas :
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts".
1145-1146
Paradigm-Oriented Supercomputers
export record as
dblp key:
conf/ifip/DallyCFHKLLNW89 export record as
dblp key:
export record as
dblp key:
The Quest for the Future
export record as
dblp key:
export record as
dblp key:
Fernando Redondo :
Labour, Consumption, Data Processing and the Future.
1173-1178
data released under the ODC-BY 1.0 license
