Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. 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
- Y. Tanaka, E. Hashimoto, T. 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: