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