Conferences in DBLP
Tommaso Toffoli Position Statement for Panel 1: Frontiers in Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Cerný Frontiers in Computing: Computing as a Simulation of Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Teuvo Kohonen Practical Problems and Vistas of Neural Computing (Position Statement). [Citation Graph (0, 0)][DBLP ] Conf ] Kosaburo Hashiguchi Algorithms for Determining Relative Star height and Star Height. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berry Real Time Programming: Special Purpose or General Purpose Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Storbank Pedersen Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Yuhsiang Liu , R. K. Shyamasundar RT-CDL: A Real Time Design Language and Its Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Skillicorn Techniques for Compiling and Executing Dataflow Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] G. M. Krecker , T. I. Lelchuk , Alexander G. Marchuk POLAR - A Programming Language for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dipak Khakhar Expert Systems: Professional Tools for Data Communication? (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Peter Politakis A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] B. French Keogh , D. Sin , A. Kuczewski de Poray , A. Latreche , G. Roullet , J. P. Cabanel MAN5: A Multivendor Network Management Tool. [Citation Graph (0, 0)][DBLP ] Conf ] James L. Peterson XSCOPE: A Debugging and Performance Toll for X11. [Citation Graph (0, 0)][DBLP ] Conf ] Lap-Ming Liu , N. S. Pryes SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Sufrin Effective Industrial Application of Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Xiao Xiang Zhang Some Comments on Research and Development of Information Processing in China. [Citation Graph (0, 0)][DBLP ] Conf ] Kongshi Xu Report on R and D at the Software Institute. [Citation Graph (0, 0)][DBLP ] Conf ] P. Xia , Q. Lin , M. Zhu , G.-J. Li , Y. Wang A Very Fast Array Processor and the Architecture of a Parallel Computer BJ. [Citation Graph (0, 0)][DBLP ] Conf ] Lan Jin Report on Interconnection Networks and Distributed Processing Projects in China. [Citation Graph (0, 0)][DBLP ] Conf ] Jiafu Xu Report on a Software Automation R&D Project. [Citation Graph (0, 0)][DBLP ] Conf ] Pamela Zave , Daniel Jackson Practical Specification Techniques for Control-Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. G. Docker , Robert B. France Flexibility and Rigour in Structured Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gorm Larsen , Michael Meincke Arentoft , Brian Q. Monahan , Stephen Bear Towards a Formal Semantics of the BS/VDM Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Wilfried Brauer , Ute Brauer Better Tools - Less Education? [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Aiken , Cristine Aiken Better Education - Different Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Laprie Hardware-and-Software Dependability Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Ravishankar K. Iyer Measurement and Modeling of Computer System Failures. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Meyer Hardware and Software Dependability Evaluation: Future Trends. [Citation Graph (0, 0)][DBLP ] Conf ] William C. Carter Hardware and Software Dependability Evaluation: System Dependability. [Citation Graph (0, 0)][DBLP ] Conf ] Bev Littlewood Hardware and Software Dependability Evaluation: Software Dependability. [Citation Graph (0, 0)][DBLP ] Conf ] Shunji Osaki Hardware and Software Dependability Evaluation: Hardware Dependability. [Citation Graph (0, 0)][DBLP ] Conf ] Silvio Micali "Perfect" Pseudo-Random Number Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Blum , Prabhakar Raghavan Program Correctness: Can One Test For It? [Citation Graph (0, 0)][DBLP ] Conf ] László Lovász Faster Algorithms for Hard Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Eric J. Golin , Robert V. Rubin , James Walker II The Visual Programmers Workbench (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Paul Franchi-Zannettacci Attribute Specifications for Graphical Interface Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Allan Heydon , Mark W. Maimone , J. D. Tygar , Jeannette M. Wing , Amy Moormann Zaremski Constraining Pictures with Pictures. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Johannesson , Benkt Wangler The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture. [Citation Graph (1, 0)][DBLP ] Conf ] Vijay Kumar , Jerry Place , Gi-Chul Yang A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNU. [Citation Graph (0, 0)][DBLP ] Conf ] I. D. Johnson , Alan J. Harget On the Performance of Load Balancing Algorithms in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] André A. S. Danthine Communication Support for Distributed Systems: OSI verus Special Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Cercone Better Tool for Professionals: Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James Davidson Towards Practical Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa Constraint Logic Programming as a New Vehicle for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Dewayne E. Perry Industrial Strength Software Development Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Freeman Strategic Directions in Software Engineering: Past, Present, and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Herb Krasner Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Knight , Paul Ammann Issues Influencing the Use of N-Version Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth G. Wilson Supercomputing in the 1990's. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Gurd Future Trends in Supercomputing: Access and Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Kuck The Von Neumann and Parallel Computing Eras. [Citation Graph (0, 0)][DBLP ] Conf ] Norihisa Suzuki Design and Evaluation of Multiprocessor Workstations. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Borrione , Paolo Prinetto Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] S. F. Steven Chen , Pei-Yung Hsiao , Wu-Shiung Feng , Shun-Nan Dai , Wen-Zyh Wang The Control Model for a Knowledge-Based Approach to VLSI Compaction Design. [Citation Graph (0, 0)][DBLP ] Conf ] Ray Waddington , Peter Johnson Designing and Evaluating Interfaces Using Task Models. [Citation Graph (0, 0)][DBLP ] Conf ] M. Herrmann , R. Hill Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object Architecture. [Citation Graph (3, 0)][DBLP ] Conf ] Lawrence J. Williams , Frederick H. Lochovsky Supporting Knowledge Migration in Organizations. [Citation Graph (0, 0)][DBLP ] Conf ] George L. Kovács Position Statement on Computers and Continuing Education. [Citation Graph (0, 0)][DBLP ] Conf ] Milton R. Pine Some Unresolved Issues for Computers in Continuing Education. [Citation Graph (0, 0)][DBLP ] Conf ] Ashley W. Goldsworthy How Specialists Perceive the Impact of Computers on Society. [Citation Graph (0, 0)][DBLP ] Conf ] Richard S. Rosenberg Panel Position Statement for Track 11 Computer and Society. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Fuchs-Kittowski , Margrit Falck Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Briefs Information System Design and Design of Work and Organization (Position Paper). [Citation Graph (0, 0)][DBLP ] Conf ] Kari Thoresen Integrating Systems Development and Use. [Citation Graph (0, 0)][DBLP ] Conf ] Ina Wagner Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jay N. Bhuyan , Jitender S. Deogun , Vijay V. Raghavan Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Lane A. Hemachandra , Gerd Wechsung Using Randomness to Characterize the Complexity of Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Krause , Christoph Meinel , Stephan Waack Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Joos Heintz , Pablo Solernó , Marie-Françoise Roy On the Complexity of Semialgebraic Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Freisleben Non-Broadcast Communication Schemes for Information Dissemination. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Iwama , Yahiko Kambayashi An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses. [Citation Graph (0, 0)][DBLP ] Conf ] Gesualdo Le Moli Impact of OSI on the Architecture of the Design of Application Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Herbert Distributed Systems and OSI. [Citation Graph (0, 0)][DBLP ] Conf ] V. Lazarev Layer N Protocol Decomposition on Subprotocols. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Litzenberg How to Use OSE - Reducing Limitations. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Logical Foundations of Deductive Databases. [Citation Graph (1, 0)][DBLP ] Conf ] John W. Lloyd Logic as a Foundation for Deductive Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Demolombe An Efficient Strategy for Non-Horn Deductive Data Bases. [Citation Graph (1, 0)][DBLP ] Conf ] Tao Li , Chris D. Marlin Algorithms for the Parallel Execution of Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Barachini , Hans Mistelberger , E. Bahr A New Method for Parallel Pattern Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Hlavicka Validation and Verification of Hardware and Software (Position Statement). [Citation Graph (0, 0)][DBLP ] Conf ] William E. Howden A Comparison of Software and Hardware Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Dick Schefström Building a Highly Integrated Development Environment Using Preexisting Parts. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Cazin , René Jacquart , Michel Lemoine , P. Michel , P. Maurice Method Driven Programming. [Citation Graph (0, 0)][DBLP ] Conf ] L. N. Rajaram , S. C. Gupta An Integrated Framework for User-Driven Interactive Application Development. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Mukai , Keiichiro Uchida Pushing the Limits of Conventional Media. [Citation Graph (0, 0)][DBLP ] Conf ] Toyohiko Yatagai Optical Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Shiro Usui Neural Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Gen Matsumoto , Toshio Iijima , Michinori Ichikawa Bio-Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Randal E. Bryant Silicon Compilers: How Well Have They Done, and Where Are They Headed? [Citation Graph (0, 0)][DBLP ] Conf ] Hugo De Man Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Terry Winograd Can Office Technology Support Office Dialogues? [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt Toward an Open Systems Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolau Reinhard Cross-Cultural Perspective in Office Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Rudy Hirschheim Towards a Broader Notion of the Office. [Citation Graph (0, 0)][DBLP ] Conf ] Cheng-Seen Ho A Pragmatic Approach to Office Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Lucy A. Suchman What Are Models for and Do We Want Them to Support Automation? [Citation Graph (0, 0)][DBLP ] Conf ] Günter Spur Advanced Design for Automated Manufacture. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Preiss Advanced Design for Automated Manufacture. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Lovis , Bernard Levrat The Computerised Society: A Challenge for Educators. [Citation Graph (0, 0)][DBLP ] Conf ] Paul van Binst , Luc Wilkin Informatics and Human Sciences: A Working Synergy. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Bryant Better Professionals for the Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Helder Coelho Developing Competence in a Developing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Subhash C. Bhatnagar Strategic Choices in Developing Competence in Information Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Michiel H. M. Smid , Mark H. Overmars , Leen Torenvliet , Peter van Emde Boas Multiple Representations of Dynamic Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Kirschenhofer , Helmut Prodinger , Wojciech Szpankowski Digital Search Trees - Further Results on a Fundamental Data Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Klein , Derick Wood On Binary Trees. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif , Sandeep Sen Randomized Parallel Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia M. Müller , Wolfgang J. Paul Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers. [Citation Graph (0, 0)][DBLP ] Conf ] A. L. Ibbetson , E. B. Spratt , R. P. A. Collinson Ten Years of Local Area Networking in a University Context. [Citation Graph (0, 0)][DBLP ] Conf ] Ray Hunt A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation. [Citation Graph (0, 0)][DBLP ] Conf ] R. I. Swindle , R. G. F. Aitchison ISDN: Will the World Embrace It? [Citation Graph (0, 0)][DBLP ] Conf ] Paul J. Kühn rom ISDN to IBCN (Integrated Broadband Communication Network). [Citation Graph (0, 0)][DBLP ] Conf ] Hiromasa Ikeda From ISDN to IBCN. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Kodratoff The AI Approach to ML and Enlarging the "ES Certification Bottleneck". [Citation Graph (0, 0)][DBLP ] Conf ] Algirdas Avizienis Software Fault Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Randell Can Design Faults be Tolerated. [Citation Graph (0, 0)][DBLP ] Conf ] Gunnar Hagelin Can Software Faults be Tolerated? [Citation Graph (0, 0)][DBLP ] Conf ] John C. Knight Can Software Faults be Tolerated? (Position Statement). [Citation Graph (0, 0)][DBLP ] Conf ] John J. Hopfield The Effectiveness of Neural Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Brian K. Bray , K. Cuderman , Michael J. Flynn , Andrew Zimmerman The Computer Architect's Workbench. [Citation Graph (0, 0)][DBLP ] Conf ] Selim G. Akl , G. R. Guenther Broadcasting with Selective Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Hung Chi Improving Cache Performance Using a Unified Management of Registers and Cache. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Darringer Advanced Design Automation in Industry. [Citation Graph (0, 0)][DBLP ] Conf ] François Anceau Formal Verification: A Significant Step Towards Zero Deffect VLSI Design. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Endo The Roles of Logic Synthesis Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Lauther Some Experiences with Advanced Design Automation Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Akihiko Yamada Design Automation for Large Mainframes and Supercomputers in NEC. [Citation Graph (0, 0)][DBLP ] Conf ] Bryan D. Ackland Experiences with Advanced Design Automation Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Theo A. C. M. Claasen VLSI Design Methods: Posibilities and Limitations. [Citation Graph (0, 0)][DBLP ] Conf ] Mitsuo Ishii Automated Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Weber Reading and Pointing - Modes of Interaction for Blind Users. [Citation Graph (0, 0)][DBLP ] Conf ] Yuzuru Tanaka , Takamoto Imataki IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations. [Citation Graph (1, 0)][DBLP ] Conf ] Michel Kuntz , Rainer Melchert Pasta-3: A Complete Integrated Graphical Direct Manipulation Interface for Knowledge Bases. [Citation Graph (2, 0)][DBLP ] Conf ] Jef Moonen Impact of Computer Technologies on Education. [Citation Graph (0, 0)][DBLP ] Conf ] Betty A. Collis Impact of Computers on Education: A Response. [Citation Graph (0, 0)][DBLP ] Conf ] Simon M. Kaplan , Ralph E. Johnson On Language Choice for the Introductory Comuter Science Course. [Citation Graph (0, 0)][DBLP ] Conf ] Gisella Arienti , Tiziana Cazzaniga , Francesco Gardin , Giancarlo Mauri UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring. [Citation Graph (0, 0)][DBLP ] Conf ] Fred Mulder Distance Learning of University Level Informatics with and without Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz-Otto Peitgen , Hartmut Jürgens Fractals: A New Challenge to Model Reality. [Citation Graph (0, 0)][DBLP ] Conf ] Blagovest Sendov Fractals, Chaos and Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. de Bakker Designing Concurrency Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Vadim E. Kotov Designing Concurrency Models. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Marriott , Harald Søndergaard Semantics-Based Dataflow Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Elisabeth Haxthausen Recursive Algebraic Specifications and their Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek , W. P. Weijland Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] J. G. Harp , Eddy Odijk Parallel Architectures in ESPRIT. [Citation Graph (0, 0)][DBLP ] Conf ] Vadim E. Kotov , A. S. Narin'ani , Enn Tyugu The USSR Academy of Sciences Start Project. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Taki The FGCS Computing Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Salvatore Casale , Vincenzo Catania , Antonio Puliafito , Lorenzo Vita A Multiple Spanning Tree Protocol in Bridged LANs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Welzel , Martine Schümmer , Peter Martini Performance Comparison of Bridges and MAC Protocols for High Speed Backbone Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Pietro Camarda , Mario Gerla Improving the Efficiency of High Speed Implicit Token FOLANs. [Citation Graph (0, 0)][DBLP ] Conf ] Carl A. Sunshine Network Interconnection and Gateways. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan B. Postel Computer Network Interconnection. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Fischer Nilsson Knowledge Base Property Combinator Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Qian , Zhaokeng Zhao Temporal Reasoning Management with Nonmonotonicity. [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Royer Modeling Preference Choices in Incomplete Deductive Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Stan Matwin , Stan Szpakowicz , Zbig Koperczak NEGOPLAN: An Inference-Based Negotiation Support Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Zhigang Xiang A Dual-Level Differentiation Strategy for Fault Localization. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Biebow , Sylvie Szulman Enrichment of Semantic Network for Requirements Expressed in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Tully Software Factories Around the World: Introduction to Panel Session. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm Software Factories in the USA. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Thomas The European Position on Software Factories. [Citation Graph (0, 0)][DBLP ] Conf ] Gail E. Kaiser A Marvelous Extended Transaction Processing Model. [Citation Graph (1, 0)][DBLP ] Conf ] Rainer Czarnetzki , Friedrich Spörl Implementation of an ERM Data Dictionary System for Open CASE Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence A. Rowe Report on the 1989 Software CAD Database Workshop. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon Bell , William S. Worley Jr. The Graphics Supercomputer: A New Class of Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Waxman , Larry Saunders The Evolution of VHDL. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Jarke Computer-Supported Cooperative Design: A Knowledge Base Management Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Kalle Lyytinen Computer Supported Coorperative Work (CSCW) - Issues and Challenges. [Citation Graph (0, 0)][DBLP ] Conf ] Najah Naffah The Future of Office Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Giampio Bracchi , Maria Grazia Fugini The Future of Office Automation: Advanced Design Techniques for Office Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Steven F. Shevell Computer Integrated Manufacturing: Small Can Be Beautiful. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Kosanke , Jakob Vlietstra The Models and the Integrated Infrastructure of CIM-OSA. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Kosanke , Jakob Vlietstra An Open System Architecture in Computer Integrated Manufacturing: CIM-OSA. [Citation Graph (0, 0)][DBLP ] Conf ] George L. Kovács Position Statement on Flexible Integrated Automation. [Citation Graph (0, 0)][DBLP ] Conf ] J. L. Fernández de Arroyabe Fault Tolerant Control in Manufacturing Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Dieter Schraft Factory Automation - A Position Statement. [Citation Graph (0, 0)][DBLP ] Conf ] William F. Atchison Personal Computers on Campuses: The Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Rita M. M. De Caluwe Personal Computers on Campuses: The Experience at the Univerity of Ghent. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ercoli Personal Computers on Campuses: The Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Setsuko Otsuki Personal Computers on Campuses: The Experience. [Citation Graph (0, 0)][DBLP ] Conf ] P. Jarratt Personal Computers on Campuses: The Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Jäger Proofs as Advanced and Powerful Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. Stickel More Advanced and Powerful Proof Tools. [Citation Graph (0, 0)][DBLP ] Conf ] David Maier Why Isn't There an Object-Oriented Data Model? [Citation Graph (12, 0)][DBLP ] Conf ] Kazumasa Yokota What is Expected of an Object-Oriented Data Model? [Citation Graph (0, 0)][DBLP ] Conf ] Johann Christoph Freytag The Basic Principles of Query Optimization in Relational Database Management Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Gia Toan Nguyen , Dominique Rieu Schema Change Propagation in Object-Oriented Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Yannis E. Ioannidis , Miron Livny MOOSE: Modeling Objects in a Simulation Environment. [Citation Graph (6, 0)][DBLP ] Conf ] Michael F. Schwartz The Networked Resource Discovery Project. [Citation Graph (1, 0)][DBLP ] Conf ] Andrew D. Marshall , Michael A. Bauer Using OSI as a Basis for Decentralized File Servers in a Heterogeneous Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Georg Stork , Wolffried Stucky Broadcasting Classified Information. [Citation Graph (0, 0)][DBLP ] Conf ] Danny Kilis , Albert C. Esterline , James R. Slagle Specification and Verification of Network Protocols Using Executable Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Functional Specification of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Penczek A Temporal Logic for the Local Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Norman E. Gibbs The SEI Education Program: Strategy and Accomplishments. [Citation Graph (0, 0)][DBLP ] Conf ] Watts S. Humphrey The SEI Software Process Program. [Citation Graph (0, 0)][DBLP ] Conf ] Judy Bayer , Nancy Melone Technology Transition of Software Engineering Innovations: Experiences in the Field. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Thomas Software Environments: PCTE and Related Projects. [Citation Graph (0, 0)][DBLP ] Conf ] B. A. Babayan , G. G. Ryabov , G. D. Chinin Elbrus Software Methodology: Instrumentation - Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Gerhart The MCC Software Technology Program. [Citation Graph (0, 0)][DBLP ] Conf ] Abhaya Asthana , Cheryl J. Briggs , Mark R. Cravats , Boyd Mathews The Architecture of Massively Parallel Numeric Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Adelantado , Nourredine Hifdi MaRGOH: Clustering as a Global Solution to Massive Parallel Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto L. Sangiovanni-Vincentelli Design Methods and Tools for Application Specific Integrated Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Zimmermann PLAYOUT - A Hierarchical Design System. [Citation Graph (0, 0)][DBLP ] Conf ] Rob A. Rutenbar Zen and the Art of Analog Design Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard K. Hester Zen and the Art of Analog Design Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Kendall Russell Zen and the Art of Analog Design Automation. [Citation Graph (0, 0)][DBLP ] Conf ] W. Martin Snelgrove Zen and the Art of Analog Design Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Ben Shneiderman Intelligent User Interfaces: From Fantasy to Fact. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Vassiliou Is it User or Computer Interface? [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wahlster Intelligent Interfaces as Cooperative Agents: From Stick Shift to Automatic Transmission in Human-Computer Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Solberg Production Palnning and Scheduling in CIM. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Takeda What Leads to a New Paradigm in CIM? [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Latombe Artificial Intelligence and Advanced Robotics. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Brooks Some Recent Process in Sensor-Based Motion Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Jain Environment Model for Advanced Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Pack Kaelbling Intelligent Robots in the Real World. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge D. Salinger , Wunnava V. Subbarao , Mauricio O. Salinas , Laura V. Ruiz Microprocessor Based System Design Courses for Graduate and Undergraduate College Eduction. [Citation Graph (0, 0)][DBLP ] Conf ] Robert K. L. Gay , Kin-Kiong Low Implementing Information Technology on a Campus. [Citation Graph (0, 0)][DBLP ] Conf ] Stewart A. Denenberg Developing Reasoning Skills in College Freshman Using Computer Programming, Collaborative Problem Solving and Writing. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries Position Statement on the Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones Position Statement for the Panel on Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Harlan D. Mills Position Statement - Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda Parallelism in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet Dincbas Parallelism vs. Efficiency in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Kouloumdjian Shell and Interfaces with DBMSs. [Citation Graph (0, 0)][DBLP ] Conf ] Fumio Mizoguchi Novel Aspects of Logic Programming in New Generation Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur B. Pyster "Synthesis" - A Reuse/Prototyping Process for Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Brian A. Nejmeh , Thomas E. Dickey , Steven P. Wartik Traceability Technology at the Software Productivity Consortium. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Blakemore , Gary Schebella Tools for Analyzing Dynamic Properties of System and Software Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Rubbert Supercomputing in Airplane Design. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuaki Murakami , Shin-ichiro Mori , Akira Fukuda , Toshinori Sueyoshi , Shinji Tomita The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Hideharu Amano , Takuya Terasawa , Tomohiro Kudoh Cache with Synchronization Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Borovsky , Plamenka Ivanova Performance Issues in Multicomputer Architectures with Recirculation of Heterogeneous Information Flows. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob A. Abraham Advances in VLSI-Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Williams Future Trends in the Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Najah Naffah , Michel Texier , Gabriel Jureidini Intelligent User Interfaces for Advanced Workstations. [Citation Graph (0, 0)][DBLP ] Conf ] Ian R. Campbell-Grant , Günther Krönert First Implementations of the ODA Standard. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst G. Schlechtendahl Intelligent Communication of Product Definition Data. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis Tsichritzis Object-Oriented Development for Open Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ifay F. Chang Advanced Software Technology for Automating the Office. [Citation Graph (0, 0)][DBLP ] Conf ] George L. Kovács , Zoltán Létray A Knowledge-Based Manufacturing Cell Design System. [Citation Graph (0, 0)][DBLP ] Conf ] Esko Juuso An Expert System in Fuzzy Simulation of Metallurgical Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Eero Eloranta , Juha Hynynen Artificial Intelligence and Production Management. [Citation Graph (0, 0)][DBLP ] Conf ] J. Browne A Respons to the Paper of E. Eloranta and J. Hynynen. [Citation Graph (0, 0)][DBLP ] Conf ] Abdechahid Qualid Problems of Software Development in Developing Countries. [Citation Graph (0, 0)][DBLP ] Conf ] Scott C. McIntyre , J. Daniel Couger Literacy and Specialization in Artificial Intelligence for Business and Information Systems Students. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Kalis , Jan Kwiatkowski The Way of New Computer Architecture Education. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitry Chereshkin , M. Sh. Tsalenko Information and Restructuring of Soviet Society. [Citation Graph (0, 0)][DBLP ] Conf ] Starr Roxanne Hiltz Computer-Mediated Communication Systems: Dropouts versus Users. [Citation Graph (0, 0)][DBLP ] Conf ] Danny Cohen Computerized Commerce. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Zemanek Formal Structures in an Informal World: Information Processing is Model Processing for Reality. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Sacerdoti Formal Structures in an Informal World. [Citation Graph (0, 0)][DBLP ] Conf ] Irène Guessarian Improving Fixpoint Toole for Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Morten Wieth Loose Specification and Its Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Padawitz Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li A Type-Theoretic Approach to Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten K. Gomard , Neil D. Jones Compiler Generation by Partial Evaluation: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorge Parnas On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts". [Citation Graph (0, 0)][DBLP ] Conf ] William J. Dally , Andrew A. Chien , Stuart Fiske , Waldemar Horwat , John S. Keen , Michael Larivee , Richard A. Lethin , Peter R. Nuth , D. Scott Wills The J-Machine: A Fine-Gain Concurrent Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinori Yamaguchi , Shuichi Sakai , Kei Hiraki , Yuetsu Kodama An Architectural Disgn of a Highly Parallel Dataflow Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Lu Xu , Hanpei Koike , Hidehiko Tanaka Distributed Garbage Collection for the Parallel Inference Machine PIE64. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Coy , Lena Bonsiepen Expert Systems Before the Flood? [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Redondo Labour, Consumption, Data Processing and the Future. [Citation Graph (0, 0)][DBLP ] Conf ] 