default search action
10. IFIP Congress 1986: Dublin, Ireland
- Hans-Jürgen Kugler:
Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986. North-Holland/IFIP 1986, ISBN 0-444-70077-3
Panel
- Jozef Gruska:
Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 1-2 - Juris Hartmanis:
Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 3-4 - Jan van Leeuwen:
Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 5-6 - Leslie G. Valiant:
Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 7-8
Panel
- Louis Pouzin:
PABX and LANS (Panel). IFIP Congress 1986: 9-10 - David A. Twyver:
PABX and LANS (Panel). IFIP Congress 1986: 11-12 - Otto Spaniol:
PABX and LANS (Panel). IFIP Congress 1986: 13-14
Data Administration
- Jane Grimson:
Guidelines for Data Administration (Invited Paper). IFIP Congress 1986: 15-22 - Arne Sølvberg:
Guidelines for Data Administration - Response. IFIP Congress 1986: 23-26
Software Technologies and Paradigms
- David R. Cheriton:
Making Exceptions Simplify the Rule (and Justify their Handling). IFIP Congress 1986: 27-34 - Giorgio Bruno, Antonia Elia:
Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5. IFIP Congress 1986: 35-40 - Marta Franová:
Proving Theorems by Construction of Valid Formulae. IFIP Congress 1986: 41-46
Education and Training
- Robert M. Aiken:
Micropower: The Use of Computers in Pre-College Education. IFIP Congress 1986: 47-52 - H. Kaiser:
Office Technology and User Satisfaction: An Improvement Programme. IFIP Congress 1986: 53-56 - Ines Wesley-Tanaskovic:
Strategies for Manpower Development in Informatics in Developing Countries: Experience of the UN University. IFIP Congress 1986: 57-60
Data Flow
- John R. Gurd, Chris C. Kirkham:
Data Flow: Achievements and Prospects (Invited Paper). IFIP Congress 1986: 61-68 - H. Horikoshi, Yasuhiro Inagami:
Data Flow: Achievements and Prospects - Response. IFIP Congress 1986: 69-72
Panel
- Annette Lagman:
Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 73-74 - Fábio Stefano Erber:
Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 75-76 - Prem Prakash Gupta:
Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 77-78 - B. Raz:
Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 1081-1082
Panel
- Roger Van Overstraeten:
Advanced Microelectronics as a Foundation for Future Computers (Panel). IFIP Congress 1986: 1083-1084 - K. Asada:
Advanced Microelectronics as a Foundation for Future Computers (Panel). IFIP Congress 1986: 79-80 - Peter B. Denyer:
Advanced Microelectronics as a Foundation for Future Computers (Panel). IFIP Congress 1986: 81-82
Specification Methods
- Alfs T. Berztiss:
Data Abstraction in the Specification of Information Systems. IFIP Congress 1986: 83-90 - Antoni Olivé:
A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling. IFIP Congress 1986: 91-96 - Jirí Zlatuska:
Data Bases and the Lambda-Calculus. IFIP Congress 1986: 97-104
AI and Programming Languages
- Luc Steels:
AI and Programming Languages (Invited Paper). IFIP Congress 1986: 105-110 - Akinori Yonezawa:
AI and Programming Languages - Response. IFIP Congress 1986: 111-114
Software Techniques and Paradigms
- Malcolm P. Atkinson, Ronald Morrison, Graham D. Pratten:
Designing a Persistent Information Space Architecture. IFIP Congress 1986: 115-120 - Adriana Bicego, M. Jacobone, Marco Maiocchi, U. Poggi:
Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars. IFIP Congress 1986: 121-128 - Jaroslav Král:
Software Physics and Paradigms. IFIP Congress 1986: 129-134
Program Development
- T. S. E. Maibaum:
Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142 - Fernando Orejas:
Role of Abstraction in Program Development - Response. IFIP Congress 1986: 143-146
Message Handling
- Joseph Pitteloud:
Electronic Message Handling for the '90s (Invited Paper). IFIP Congress 1986: 147-158 - Ronald P. Uhlig:
Electronic Message Handling for the '90s - Response. IFIP Congress 1986: 159-162
Panel
- Asha Purna Kachru:
Women, Work and Computerisation (Panel). IFIP Congress 1986: 163-164 - Ingela Josefson:
Women, Work and Computerisation (Panel). IFIP Congress 1986: 165-166 - Y. Okada:
Women, Work and Computerisation (Panel). IFIP Congress 1986: 167-168 - C. Zoltan de Torres:
Women, Work and Computerisation (Panel). IFIP Congress 1986: 169-170
Panel
- Stefano Crespi-Reghizzi:
Automation in Software Development (Panel). IFIP Congress 1986: 171-172 - Marie-Claude Gaudel:
Automation in Software Development (Panel). IFIP Congress 1986: 173-174 - William A. Wulf:
Automation in Software Development (Panel). IFIP Congress 1986: 175-176
ISDN and X25
- Eckart Raubold:
ISDN and X25 (Invited paper). IFIP Congress 1986: 177-184 - Shinji Tomita:
ISDN and X25 - Response. IFIP Congress 1986: 185-188 - Pietro Schicker:
ISDN and X25 (Panel). IFIP Congress 1986: 1085-1086
Program Development
- Kristen Nygaard:
Program Development as a Social Activity (Invited Paper). IFIP Congress 1986: 189-198
CIM
- Chengi Kuo:
CAD to Support CIM Applications (Invited Paper). IFIP Congress 1986: 1087-1094 - Sudhir P. Mudur:
CAD to Support CIM Applications - Response. IFIP Congress 1986: 199-204
Information Systems Design
- Stefano Ceri:
Requirements Collection and Analysis in Information Systems Design (Invited Paper). IFIP Congress 1986: 205-214 - Enid Mumford:
Requirements Collection and Analysis in Information Systems Design - Response. IFIP Congress 1986: 215-218
Logic Programming
- John Alan Robinson:
The Future of Logic Programming (Invited Paper). IFIP Congress 1986: 219-224 - Enn Tyugu:
The Future of Logic Programming - Response. IFIP Congress 1986: 225-228
Panel
- Jakob Vlietstra:
Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1095-1096 - Asbjørn Rolstadås:
Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1097-1098 - Theodore J. Williams:
Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1099-1100 - Hiroyuki Yoshikawa:
Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1101-1102
Panel
- Heinz Lycklama:
UNIX and Its Standardisation (Panel). IFIP Congress 1986: 229-232 - Georges Lepicard:
UNIX and Its Standardisation (Panel). IFIP Congress 1986: 233-234 - D. Kevorkian:
UNIX and Its Standardisation (Panel). IFIP Congress 1986: 1103-1104
Extert Design Tools
- Marco A. Casanova, C. M. O. Moura:
Designing Database Applications in Logic Programming. IFIP Congress 1986: 235-240 - Colette Rolland, C. Proix:
An Expert System Approach to Information System Design. IFIP Congress 1986: 241-250 - Mokrane Bouzeghoub, Elisabeth Métais:
SECSI: An Expert System Approach to Database Design. IFIP Congress 1986: 251-257
Transputer
- Iann M. Barron:
The Transputer and OCCAM(TM) (Invited Paper). IFIP Congress 1986: 259-266
Informatics in a Developing World
- Donald McLean Lamberton:
Informatics in a Developing World (Invited Paper). IFIP Congress 1986: 267-270 - Wee Tew Lim:
Informatics in a Developing World - Response. IFIP Congress 1986: 1105-1106
Meta Interpreters
- Shmuel Safra, Ehud Shapiro:
Meta Interpreters For Real (Invited Paper). IFIP Congress 1986: 271-278 - Akikazu Takeuchi:
Meta Interpreters For Real - Response. IFIP Congress 1986: 279-282
Operating Systems
- Robert Balzer:
Living in the Next Generation Operating System (Invited Paper). IFIP Congress 1986: 283-292 - Vic Stenning:
Living in the Next Generation Operating System - Response. IFIP Congress 1986: 1107-1112
Software Management
- Thomas Gilb:
Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing Levels. IFIP Congress 1986: 293-300 - Brian L. Meek:
Programmin Language Standards: Not Language Definitions, but Specifications of Software Engineering Tools. IFIP Congress 1986: 301-306 - M. Yamamoto, T. Kuriyama:
Developing Project Management Skills through Computer Simulation. IFIP Congress 1986: 307-312
Panel
- Erik Sandewall:
Environments for the Development of Specifications (Panel). IFIP Congress 1986: 313-314 - Bernard Lang:
Environments for the Development of Specifications (Panel). IFIP Congress 1986: 315-316 - John Mylopoulos:
Environments for the Development of Specifications (Panel). IFIP Congress 1986: 317-319
Formal Description Techniques
- Chris A. Vissers:
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). IFIP Congress 1986: 321-328 - Roberto Saracco:
Standardisation of Formal Description Techniques for Communication Protocols - Response. IFIP Congress 1986: 329-334
Computer Understanding
- Roger C. Schank:
Computer Understanding and Creativity (Invited Paper). IFIP Congress 1986: 335-342 - Wolfgang Wahlster:
Computer Understanding and Creativity - Response. IFIP Congress 1986: 343-348
Towards Applicative Programming
- Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko:
Semantic Programming. IFIP Congress 1986: 1113-1120 - Takayasu Ito, Takashi Tamura, Shinichi Wada:
Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models. IFIP Congress 1986: 349-354 - Gang Ye, Zhiliang Xie:
An Efficient Type System for Prolog. IFIP Congress 1986: 355-360
VLSI Architecture
- Arie E. Kaufman:
Voxel-Based Architecture for Three-Dimensional Graphics. IFIP Congress 1986: 361-366 - Shumpei Kawasaki, Tohru Nojiri, Kousuke Sakoda:
A User-Adaptable VLSI Engine for Artificial Intelligence. IFIP Congress 1986: 367-372 - Kam-Hoi Cheng, Sartaj Sahni:
VLSI Artchitectures for Back Substitution. IFIP Congress 1986: 373-378
Programming
- Adele Goldberg:
Programmer as Reader (Invited Paper). IFIP Congress 1986: 379-386
Entity-Relationship Model
- Peter P. Chen:
The Time Dimension in the Entity-Relationship Model (Invited Paper). IFIP Congress 1986: 387-390
Panel
- Rohit Parikh:
Logic and Computation (Panel). IFIP Congress 1986: 391-392 - Erwin Engeler:
Logic and Computation (Panel). IFIP Congress 1986: 393-394 - István Németi:
Logic and Computation (Panel). IFIP Congress 1986: 395-396 - Satoru Takasu:
Logic and Computation (Panel). IFIP Congress 1986: 397-398
Panel
- Alfonso F. Cardenas:
Experience with the Relational Database Model (Panel). IFIP Congress 1986: 399-400 - Ian G. MacDonald:
Experience with the Relational Database Model (Panel). IFIP Congress 1986: 401-402 - Alain Pirotte:
Experience with the Relational Database Model (Panel). IFIP Congress 1986: 403-404 - Stewart A. Schuster:
Experience with the Relational Database Model (Panel). IFIP Congress 1986: 405-406
Reasoning
- Henri Farreny, Henri Prade, E. Wyss:
Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case Study. IFIP Congress 1986: 407-414 - Akikazu Takeuchi, Koichi Furukawa:
Partial Evaluation of Prolog Programs and its Application to Meta Programming. IFIP Congress 1986: 415-420 - Silvano Di Zenzo:
A New Many-Valued Logic and its Application to Approximate Reasoning. IFIP Congress 1986: 421-428
Teaching
- Hermann A. Maurer:
Nationwide Teaching through a Network of Microcomputers (Invited Paper). IFIP Congress 1986: 429-432
CIM in Practice
- Yutaka Tanaka, E. Hashimoto, Takahiro Ueda, K. Itoh:
Application of Solid CAD for Mold Design. IFIP Congress 1986: 433-440 - August-Wilhelm Scheer:
Cost-Estimation in the Design Process within a CIM-Systems Environment. IFIP Congress 1986: 441-446 - John Harhen, Michael G. Ketcham, Jimmie Browne:
Artificial Intelligence and Simulation of Manufacturing Systems. IFIP Congress 1986: 447-454
Dealing with Parallelism and Real Time
- M. C. Chen:
Transformations of Parallel Programs in Crystal. IFIP Congress 1986: 455-462 - Ivar Jacobson:
FDL: A Language for Designing Large Reat Time Systems. IFIP Congress 1986: 463-468 - Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai:
Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474
Human-Computer Dialogues
- William Buxton:
Chunking and Phrasing and the Design of Human-Computer Dialogues (Invited Paper). IFIP Congress 1986: 475-480 - Dimitre Novatchev:
Chunking and Phrasing and the Design of Human-Computer Dialogues - Response. IFIP Congress 1986: 481-484
Panel
- Oscar Barros:
Education and Training for Information Systems (Panel). IFIP Congress 1986: 485-486 - E. Altmann:
Education and Training for Information Systems (Panel). IFIP Congress 1986: 1121-1122 - Rudy Hirschheim:
Education and Training for Information Systems (Panel). IFIP Congress 1986: 487-488 - Erich J. Neuhold, Christian Stary:
Education and Training for Information Systems (Panel). IFIP Congress 1986: 489-490
Panel
- I. M. Cunningham:
Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 491-492 - Vinton G. Cerf:
Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 1123-1124 - Jacob Palme:
Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 493-494 - S. Ramani:
Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 495-496
Documents
- P. A. Penny:
Technical Document Storing and Retrieval (Invited Paper). IFIP Congress 1986: 497-502 - T. Maruyama:
Technical Document Storing and Retrieval - Response. IFIP Congress 1986: 503-506
Process Constructors
- Robin Milner:
Process Constructors and Interpretations (Invited Paper). IFIP Congress 1986: 507-514 - Willem P. de Roever:
Process Constructors and Interpretations - Response. IFIP Congress 1986: 515-518
Panel
- P. A. MacKay:
Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 519-520 - S. S. El-Dabi:
Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 521-522 - N. Izaki:
Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 523-524 - R. M. K. Sinha:
Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 525-526
VDM
- Ole N. Oest:
VDM From Research to Practice (Invited Paper). IFIP Congress 1986: 527-534 - Peter Wegner:
VDM From Research to Practice - Response. IFIP Congress 1986: 535-538
Expert Systems
- John P. McDermott:
Making Expert Systems Explicit (Invited Paper). IFIP Congress 1986: 539-544 - Reind P. van de Riet:
Making Expert Systems Explicit - Response. IFIP Congress 1986: 545-548
Panel
- Luigia Carlucci Aiello:
Reasoning Techniques (Panel). IFIP Congress 1986: 549-550 - Dmitri A. Pospelov:
Reasoning Techniques (Panel). IFIP Congress 1986: 1125-1126 - Stuart E. Savory:
Reasoning Techniques (Panel). IFIP Congress 1986: 551-552
Panel
- S. C. Forge:
OSI and UNIX (Panel). IFIP Congress 1986: 553-554 - Hubert Zimmermann:
OSI and UNIX (Panel). IFIP Congress 1986: 555-556
Supercomputing
- Ken'ichi Miura:
Supercomputing in Japan (Invited Paper). IFIP Congress 1986: 557-564 - H. T. Kung:
Supercomputing in Japan - Response. IFIP Congress 1986: 565-570
Specifications at Different Levels of Abstraction
- Egidio Astesiano, Gianna Reggio:
A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576 - Jack C. Wileden:
Applying Event Based Analysis to Specification and Design. IFIP Congress 1986: 577-582 - Elham Morcos-Chounet, A. Conchon:
PPML: A General Formalism to Specify PrettyPrinting. IFIP Congress 1986: 583-590
Information Policy
- Faqir Chand Kohli:
Information Policy Issues in Developing Countries (Invited Paper). IFIP Congress 1986: 591-597 - Nabil Harfouch:
Information Policy Issues in Developing Countries - Response. IFIP Congress 1986: 599-604
Software Technology
- Meir M. Lehman:
Advanced Software Technology - Development and Introduction to Practice (Invited Paper). IFIP Congress 1986: 605-612 - B. Tim Denvir:
Advanced Software Technology - Development and Introduction to Practice - Response. IFIP Congress 1986: 613-616
Information System Design
- Peter C. Lockemann, Heinrich C. Mayr:
Information System Design: Techniques and Software Support (Invited Paper). IFIP Congress 1986: 617-634 - Elöd Knuth, János Demetrovics, Ágnes Hernádi:
Information System Design: Techniques and Software Support - Response. IFIP Congress 1986: 635-640
Panel
- Amílcar Sernadas:
Future Information Systems (Panel). IFIP Congress 1986: 641-642 - Cyril H. P. Brookes:
Future Information Systems (Panel). IFIP Congress 1986: 643-644 - Laurence Cholvy:
Future Information Systems (Panel). IFIP Congress 1986: 645-646 - Larry Kerschberg:
Future Information Systems (Panel). IFIP Congress 1986: 647-648
Computer Science
- Hristo N. Djidjev:
VLSI Algorithms for Combinatorial Problems. IFIP Congress 1986: 649-654 - Véronique Royer:
Congruent Representation of Standard Denotational Semantics. IFIP Congress 1986: 655-660 - Jan Kwiatkowski:
The Conversion of Sequential Programs to Data Flow Ones. IFIP Congress 1986: 661-662
Knowledge-Based Systems
- Raymond Reiter:
Foundations for Knowledge-Based Systems (Invited Paper). IFIP Congress 1986: 663-668 - Joachim W. Schmidt:
Foundations for Knowledge-Based Systems - Response. IFIP Congress 1986: 669-674
Algebraic Specifications
- Hartmut Ehrig, Herbert Weber:
Programming in the Large with Algebraic Module Specifications (Invited Paper). IFIP Congress 1986: 675-684 - Andrzej Tarlecki:
Programming in the Large with Algebraic Module Specifications - Response. IFIP Congress 1986: 685-688
CAD
- Hiroyuki Yoshikawa:
Theoretical Approaches in Computer Aided Design (CAD) (Invited Paper). IFIP Congress 1986: 1127-1132 - José L. Encarnação:
Theoretical Approaches in Computer Aided Design (CAD) - Response. IFIP Congress 1986: 1133-1134
Policy Issues
- B. K. Eres, B. Raz:
Capacity Development for Informatics and its Socioeconomic Implications. IFIP Congress 1986: 689-694 - S. A. Vadja:
National High-Tech Policy: The US Dilemma. IFIP Congress 1986: 695-702 - S. Cooney:
Small is Necessary: The Role of Information Technology in Development Communication. IFIP Congress 1986: 1135-1142
Software Costs
- Barry W. Boehm:
Understanding and Controlling Software Costs (Invited Paper). IFIP Congress 1986: 703-714 - Vesselin Spiridonov:
Understanding and Controlling Software Costs - Response. IFIP Congress 1986: 715-718
Panel
- Hisashi Kobayashi:
Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 719-720 - Domenico Ferrari:
Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 721-722 - Paul J. Kühn:
Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 1143-1146 - Kenneth C. Sevcik:
Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 723-724
Panel
- Gerhard Goos:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 1145-1146 - René Jacquart:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 725-726 - Robert P. Worden:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 1147-1148
Fault Tolerance
- Fred B. Schneider:
Abstractions for Fault Tolerance in Distributed Systems (Invited Paper). IFIP Congress 1986: 727-734 - Anders P. Ravn:
Abstractions for Fault Tolerance in Distributed Systems - Response. IFIP Congress 1986: 735-738
Information Systems
- C. C. Gotlieb:
Information Systems in the Small (Invited Paper). IFIP Congress 1986: 739-744 - Giampio Bracchi:
Information Systems in the Small - Response. IFIP Congress 1986: 745-748
Production Management Systems
- Asbjørn Rolstadås:
Production Management Systems (Invited Paper). IFIP Congress 1986: 749-756 - Guy Doumeingts:
Production Management Systems - Response. IFIP Congress 1986: 1149-1156
ANDREW
- James H. Morris, John Leong, David A. Nichols, Michael J. West, Mahadev Satyanarayanan:
ANDREW: Carnegie Mellon's Computing System (Invited Paper). IFIP Congress 1986: 757-768
Applications in Developing Countries
- Henry R. Norman, Gary Garriott:
Innovative Informatics Applications in Developing Countries (Invited Paper). IFIP Congress 1986: 769-774
Panel
- Olivier Roubine:
Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 1157-1158 - Koichi Furukawa:
Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 775-776 - Martin Wirsing:
Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778
Computer Architecture
- Katsuhiro Yamazaki, Takanobu Baba, Kenzo Okuda, Hiroyuki Kanai:
Architectural Evaluation and Improvement of a Universal Host Computer MUNAP. IFIP Congress 1986: 779-784 - Takao Tsuda, Yoshitoshi Kunieda:
Mechanical vectorization of Multiply Nestzed DO Loops by Vector Indirect Addressing. IFIP Congress 1986: 785-790 - Jitender S. Deogun, M. C. Kong:
On Periodic Scheduling of Time-Critical Tasks. IFIP Congress 1986: 791-796
Languages & Architectures
- Christophe Roche, Jean-Pierre H. Laurent:
LRO2: Artificial Intelligence and Object Oriented Languages. IFIP Congress 1986: 797-802 - Péter Kacsuk:
Some Approaches to Parallel Implementaions of Prolog. IFIP Congress 1986: 803-809 - Jean-Louis Laurière, M. Vialatte:
SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics. IFIP Congress 1986: 811-816
CIM
- Detlef Kochan:
Trends Towards Computer-Integrated Manufacturing (CIM) (Invited Paper). IFIP Congress 1986: 817-822 - J. P. Crestin:
Trends Towards Computer-Integrated Manufacturing (CIM) - Response. IFIP Congress 1986: 1159-1162
Net Theory
- Hartmann J. Genrich:
Net Theory and Application (Invited Paper). IFIP Congress 1986: 823-832 - Rocco De Nicola:
Net Theory and Application - Response. IFIP Congress 1986: 833-836
Software Engineering
- William N. Joy:
The Workstation Approach for Software Engineering (Invited Paper). IFIP Congress 1986: 1163-1168 - Najah Naffah:
The Workstation Approach for Software Engineering - Response. IFIP Congress 1986: 1169-1172
Panel
- Douglas B. Lenat:
Machine Learning (Panel). IFIP Congress 1986: 837-838 - Yves Kodratoff:
Machine Learning (Panel). IFIP Congress 1986: 839-840 - Stellan Ohlsson:
Machine Learning (Panel). IFIP Congress 1986: 841-842
Panel
- David Aspinall:
Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1171-1172 - A. L. Davis:
Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1173-1174 - E. McQuade:
Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1175-1176 - Przemyslaw Bakowski:
Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 843-844 - Derrick Morris:
Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1177-1182
Reactive Systems
- Amir Pnueli:
Specification and Development of Reactive Systems (Invited Paper). IFIP Congress 1986: 845-858 - Joseph Sifakis:
Specification and Development of Reactive Systems - Response. IFIP Congress 1986: 1183-1188
Open System Environment
- Zebo Peng:
Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. IFIP Congress 1986: 859-864 - Alwyn Langsford:
Open Systems Management - The Implications for Distributed Processing Architecture. IFIP Congress 1986: 865-868 - Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano:
Lotos in Practice. IFIP Congress 1986: 869-876
Engineering Data
- Robert Demolombe:
STREL: An Extended Relational Model for Structured Objects. IFIP Congress 1986: 877-882 - Paul Bourret:
Temporary Storage of Derived Relations for Efficient Use of DBMS in Computer Integrated Manufacturing Systems. IFIP Congress 1986: 883-888 - Raymond A. Lorie, Jean-Jacques Daudenarde:
On Extending the Realm of Application of Relational Systems. IFIP Congress 1986: 889-894
Software Tools
- K. Ryan, J. A. Redmond, Donald O'Neill, Boyd Mathews, A. Hunot, Michel Lemoine, Manfred Dausmann, K. Wachsmuth:
Surveying Software Tools for a Method Driven Environment. IFIP Congress 1986: 895-902 - Takeshi Chusho, Hirohide Haga:
A Multilingual Modular Programming System for Describing Knowledge Information Processing Systems. IFIP Congress 1986: 903-908 - Maurizio Barioglio, G. Capella, I. Lupo, Luigi Petrone:
KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation. IFIP Congress 1986: 909-914
CIM
- Michel A. Melkanoff:
The "I" in CIM (Invited Paper). IFIP Congress 1986: 915-920
Panel
- Gérard Le Lann:
Which LAN in the Factory (Panel). IFIP Congress 1986: 921-922 - Dirk Heger:
Which LAN in the Factory (Panel). IFIP Congress 1986: 1189-1190 - John F. Meyer:
Which LAN in the Factory (Panel). IFIP Congress 1986: 923-924 - Mario Tokoro:
Which LAN in the Factory (Panel). IFIP Congress 1986: 925-926
Panel
- Takao Uehara:
Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 927-928 - B. Lynch:
Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 1191-1192 - Karlheinrich Horninger:
Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 929-930 - Guy Mazaré:
Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 931-932
Database Computers
- David K. Hsiao:
Super Database Computers: Hardward and Software Solutions for Efficient Processing of Very Large Databases (Invited Paper). IFIP Congress 1986: 933-944 - Georges Gardarin:
Super Database Computers - Response. IFIP Congress 1986: 945-948
Multi-Micro Processor Systems
- Anatoliy Vasiljevich Kalyaev:
Multi-Micro Processor Systems (Invited Paper). IFIP Congress 1986: 949-954 - Dharma P. Agrawal, J. Richard Burke:
Multi-Micro Processor System: Another Viewpoint (Response). IFIP Congress 1986: 955-956
Innovative Applications
- Masataka Ohta, Mamoru Maekawa, Takashi Arano, Kiyokuni Kawachiya, Y. Noguchi:
Multimedia Information Processing Based on a General Media Model. IFIP Congress 1986: 957-962 - Ernst Piller:
Smart-Cards for Network Services. IFIP Congress 1986: 963-968 - Luo Yunmo:
Theory and Practice of the Computerised Traditional Chineses Medicin. IFIP Congress 1986: 969-974
Algorithms and Machines
- Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky:
On Model of Macroconveyor Computations. IFIP Congress 1986: 975-980 - Alain Bossavit:
Recurrences in Vector Mode: Recursive (Cyclic) Reduction and recursive Doubling. IFIP Congress 1986: 981-988 - Andreas Alexander Albrecht:
On Hardware Algorithms for Geometrical Computation Problems. IFIP Congress 1986: 989-994
Specification Languages
- Joseph A. Goguen:
One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress 1986: 995-1004 - Giorgio Levi:
One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress 1986: 1005-1008
Applications and Case Studies
- Danilo de Souza Dias:
Information Systems Requirements Definition: Key Factors and Situation in Brazilian Companies. IFIP Congress 1986: 1009-1014 - B. M. Donner:
The "Real World" of Disaster Recovery and Planning (Computer Systems Security). IFIP Congress 1986: 1015-1020
Data Communications
- Jacob Palme:
Cost-Benefit Analysis of Computer-Mediated Message Systems. IFIP Congress 1986: 1021-1023 - Patrick O'Callaghan, Gabriel Broner:
ANNETTE: A Cheap, High Performance Local Network for Microcomputers. IFIP Congress 1986: 1025-1028 - Józef Wozniak:
Performance of Unslotted ALOHA with Capture. IFIP Congress 1986: 1029-1034
CIM
- Gideon Halevi:
CIM - The Future Technology (Invited Paper). IFIP Congress 1986: 1035-1042 - Marco Tomljanovich:
CIM - The Future Technology - Response. IFIP Congress 1986: 1193-1196
Impact of Algorithms on New Computer Architecture
- Valentin Vasilevich Voyevodin:
Impact of Algorithms on New Computer Architecture (Invited Paper). IFIP Congress 1986: 1043-1048 - Jozef Miklosko:
Impact of Algorithms on New Computer Architecture - Response. IFIP Congress 1986: 1197-1200
Extended Query-Oriented Architectures
- Vijay V. Raghavan, Lawrence V. Saxton, S. K. Michael Wong, S. S. Ting:
A Unified Architecture for the Integration of Data Base Management and Information Retrieval Systems. IFIP Congress 1986: 1049-1054 - Yahiko Kambayashi:
An Overview of a Natural Language-Assisted Database User Interface: ENLI. IFIP Congress 1986: 1055-1060 - Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace:
Some Steps Towards a DBMS-based KBMS. IFIP Congress 1986: 1061-1067
Software Engineering
- Frederick P. Brooks Jr.:
No Silver Bullet - Essence and Accidents of Software Engineering (Invited Paper). IFIP Congress 1986: 1069-1076 - Wladyslaw M. Turski:
No Silver Bullet - Essence and Accidents of Software Engineering - Response. IFIP Congress 1986: 1077-1080
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: