Abstract is missing.
- Position Statement for Panel 1: Frontiers in ComputingTommaso Toffoli. 1
- Practical Problems and Vistas of Neural Computing (Position Statement)Teuvo Kohonen. 3
- Algorithms for Determining Relative Star height and Star HeightKosaburo Hashiguchi. 5-10
- Real Time Programming: Special Purpose or General Purpose LanguagesGérard Berry. 11-17
- Some Thoughts on the Use of Special Purpose Languages for Real-Time ProgrammingJan Storbank Pedersen. 19-20
- RT-CDL: A Real Time Design Language and Its SemanticsLeo Yuhsiang Liu, R. K. Shyamasundar. 21-26
- Techniques for Compiling and Executing Dataflow GraphsDavid B. Skillicorn. 27-32
- POLAR - A Programming Language for Multiprocessor SystemsG. M. Krecker, T. I. Lelchuk, Alexander G. Marchuk. 33-37
- Expert Systems: Professional Tools for Data Communication? (Panel)Dipak Khakhar. 39-40
- A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel)Peter Politakis. 41
- Effective Industrial Application of Formal MethodsBernard Sufrin. 61-69
- A Very Fast Array Processor and the Architecture of a Parallel Computer BJP. Xia, Q. Lin, M. Zhu, G.-J. Li, Y. Wang. 77-78
- Report on Interconnection Networks and Distributed Processing Projects in ChinaLan Jin. 79-80
- Report on a Software Automation R&D ProjectJiafu Xu. 81
- Practical Specification Techniques for Control-Oriented SystemsPamela Zave, Daniel Jackson. 83-88
- Flexibility and Rigour in Structured AnalysisThomas W. G. Docker, Robert B. France. 89-94
- Towards a Formal Semantics of the BS/VDM Specification LanguagePeter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear. 95-100
- Better Tools - Less Education?Wilfried Brauer, Ute Brauer. 101-106
- Hardware-and-Software Dependability EvaluationJean-Claude Laprie. 109-114
- Hardware and Software Dependability Evaluation: Future TrendsJohn F. Meyer. 117
- Hardware and Software Dependability Evaluation: System DependabilityWilliam C. Carter. 118
- Hardware and Software Dependability Evaluation: Software DependabilityBev Littlewood. 119
- Hardware and Software Dependability Evaluation: Hardware DependabilityShunji Osaki. 120
- Perfect Pseudo-Random Number GenerationSilvio Micali. 121-126
- Program Correctness: Can One Test For It?Manuel Blum, Prabhakar Raghavan. 127-134
- Faster Algorithms for Hard ProblemsLászló Lovász. 135-141
- The Visual Programmers Workbench (Extended Abstract)Eric J. Golin, Robert V. Rubin, James Walker II. 143-148
- Attribute Specifications for Graphical Interface GenerationPaul Franchi-Zannettacci. 149-155
- Constraining Pictures with PicturesAllan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski. 157-162
- The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems ArchitecturePaul Johannesson, Benkt Wangler. 163-168
- A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNUVijay Kumar, Jerry Place, Gi-Chul Yang. 169-174
- Communication Support for Distributed Systems: OSI verus Special ProtocolsAndré A. S. Danthine. 181-190
- Better Tool for Professionals: Knowledge Based SystemsNick Cercone. 191-192
- Towards Practical Knowledge Representation SystemsJames Davidson. 193
- Constraint Logic Programming as a New Vehicle for Knowledge RepresentationKoichi Furukawa. 194
- Industrial Strength Software Development EnvironmentsDewayne E. Perry. 195-203
- Strategic Directions in Software Engineering: Past, Present, and FuturePeter Freeman. 205-210
- Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering ProcessHerb Krasner. 211-216
- Issues Influencing the Use of N-Version ProgrammingJohn C. Knight, Paul Ammann. 217-222
- Supercomputing in the 1990 sKenneth G. Wilson. 223-227
- Future Trends in Supercomputing: Access and EvaluationJohn R. Gurd. 229
- The Von Neumann and Parallel Computing ErasDavid J. Kuck. 230
- Design and Evaluation of Multiprocessor WorkstationsNorihisa Suzuki. 231
- Zero-Defect Designs, Why and How: Formal Verification vs. Automated SynthesisDominique Borrione, Paolo Prinetto. 233-240
- The Control Model for a Knowledge-Based Approach to VLSI Compaction DesignS. F. Steven Chen, Pei-Yung Hsiao, Wu-Shiung Feng, Shun-Nan Dai, Wen-Zyh Wang. 241-246
- Designing and Evaluating Interfaces Using Task ModelsRay Waddington, Peter Johnson. 247-252
- Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object ArchitectureM. Herrmann, R. Hill. 253-258
- Supporting Knowledge Migration in OrganizationsLawrence J. Williams, Frederick H. Lochovsky. 259-264
- Position Statement on Computers and Continuing EducationGeorge L. Kovács. 265
- Panel Position Statement for Track 11 Computer and SocietyRichard S. Rosenberg. 268
- Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional ApproachKlaus Fuchs-Kittowski, Margrit Falck. 269-270
- Information System Design and Design of Work and Organization (Position Paper)Ulrich Briefs. 271
- Integrating Systems Development and UseKari Thoresen. 272
- Panel: Information Systems - Work and Organization Design: Challenges for Organizational LearningIna Wagner. 273-274
- Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented Information RetrievalJay N. Bhuyan, Jitender S. Deogun, Vijay V. Raghavan. 275-280
- Using Randomness to Characterize the Complexity of ComputationLane A. Hemachandra, Gerd Wechsung. 281-286
- Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing MachinesMatthias Krause, Christoph Meinel, Stephan Waack. 287-292
- On the Complexity of Semialgebraic SetsJoos Heintz, Pablo Solernó, Marie-Françoise Roy. 293-298
- Non-Broadcast Communication Schemes for Information DisseminationBernd Freisleben. 299-304
- An O(log n) Parallel Connectivity Algorithm on the Mesh of BusesKazuo Iwama, Yahiko Kambayashi. 305-310
- Impact of OSI on the Architecture of the Design of Application ProcessesGesualdo Le Moli. 311
- Distributed Systems and OSIAndrew Herbert. 312
- Logical Foundations of Deductive DatabasesVladimir Lifschitz. 315-321
- Logic as a Foundation for Deductive Database SystemsJohn W. Lloyd. 323-324
- An Efficient Strategy for Non-Horn Deductive Data BasesRobert Demolombe. 325-330
- Algorithms for the Parallel Execution of Rule-Based Expert SystemsTao Li, Chris D. Marlin. 331-336
- A New Method for Parallel Pattern MatchingFranz Barachini, Hans Mistelberger, E. Bahr. 337-342
- Validation and Verification of Hardware and Software (Position Statement)Jan Hlavicka. 343
- A Comparison of Software and Hardware TestingWilliam E. Howden. 344
- Method Driven ProgrammingJacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice. 351-356
- An Integrated Framework for User-Driven Interactive Application DevelopmentL. N. Rajaram, S. C. Gupta. 357-362
- Neural ComputingShiro Usui. 371-374
- Bio-ComputingGen Matsumoto, Toshio Iijima, Michinori Ichikawa. 375-378
- Silicon Compilers: How Well Have They Done, and Where Are They Headed?Randal E. Bryant. 379
- Can Office Technology Support Office Dialogues?Terry Winograd. 381-387
- Toward an Open Systems ArchitectureCarl Hewitt. 389-392
- Cross-Cultural Perspective in Office AutomationNicolau Reinhard. 393
- A Pragmatic Approach to Office ModelingCheng-Seen Ho. 396
- What Are Models for and Do We Want Them to Support Automation?Lucy A. Suchman. 397
- Advanced Design for Automated ManufactureGünter Spur. 399-406
- Advanced Design for Automated ManufactureKenneth Preiss. 407-408
- The Computerised Society: A Challenge for EducatorsFrank Lovis, Bernard Levrat. 409-413
- Informatics and Human Sciences: A Working SynergyPaul van Binst, Luc Wilkin. 415-418
- Better Professionals for the ToolsTony Bryant. 419-425
- Developing Competence in a Developing EnvironmentHelder Coelho. 427-433
- Strategic Choices in Developing Competence in Information TechnologySubhash C. Bhatnagar. 435-436
- Multiple Representations of Dynamic Data StructuresMichiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas. 437-442
- Digital Search Trees - Further Results on a Fundamental Data StructurePeter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski. 443-447
- On Binary TreesRolf Klein, Derick Wood. 449-454
- Randomized Parallel AlgorithmsJohn H. Reif, Sandeep Sen. 455-458
- Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel ComputersSilvia M. Müller, Wolfgang J. Paul. 459-460
- A Review of Telecommunication Services Operating in New Zealand up to the Time of DeregulationRay Hunt. 467-472
- rom ISDN to IBCN (Integrated Broadband Communication Network)Paul J. Kühn. 479-486
- From ISDN to IBCNHiromasa Ikeda. 487-488
- The AI Approach to ML and Enlarging the ES Certification Bottleneck Yves Kodratoff. 489
- Software Fault ToleranceAlgirdas Avizienis. 491-498
- Can Design Faults be ToleratedBrian Randell. 499
- Can Software Faults be Tolerated? (Position Statement)John C. Knight. 501
- The Effectiveness of Neural ComputingJohn J. Hopfield. 503-507
- The Computer Architect s WorkbenchBrian K. Bray, K. Cuderman, Michael J. Flynn, Andrew Zimmerman. 509-514
- Broadcasting with Selective ReductionSelim G. Akl, G. R. Guenther. 515-520
- Improving Cache Performance Using a Unified Management of Registers and CacheChi-Hung Chi. 521-526
- Advanced Design Automation in IndustryJohn A. Darringer. 527
- The Roles of Logic Synthesis SystemsMakoto Endo. 529
- Some Experiences with Advanced Design Automation ToolsUlrich Lauther. 530
- Design Automation for Large Mainframes and Supercomputers in NECAkihiko Yamada. 531
- Experiences with Advanced Design Automation ToolsBryan D. Ackland. 532
- Automated TestingMitsuo Ishii. 534
- Reading and Pointing - Modes of Interaction for Blind UsersGerhard Weber. 535-540
- IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct ManipulationsYuzuru Tanaka, Takamoto Imataki. 541-546
- Pasta-3: A Complete Integrated Graphical Direct Manipulation Interface for Knowledge BasesMichel Kuntz, Rainer Melchert. 547-552
- Impact of Computer Technologies on EducationJef Moonen. 553-559
- Impact of Computers on Education: A ResponseBetty A. Collis. 561-562
- On Language Choice for the Introductory Comuter Science CourseSimon M. Kaplan, Ralph E. Johnson. 563-568
- UNIX-Tutor: An Experiment for the Use of Deep Knowledge for TutoringGisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri. 569-574
- Distance Learning of University Level Informatics with and without ComputersFred Mulder. 575-580
- Fractals: A New Challenge to Model RealityHeinz-Otto Peitgen, Hartmut Jürgens. 581-588
- Fractals, Chaos and ApproximationBlagovest Sendov. 589-590
- Designing Concurrency SemanticsJ. W. de Bakker. 591-598
- Designing Concurrency ModelsVadim E. Kotov. 599-600
- Semantics-Based Dataflow Analysis of Logic ProgramsKim Marriott, Harald Søndergaard. 601-606
- Recursive Algebraic Specifications and their SemanticsAnne Elisabeth Haxthausen. 607-612
- Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract)Rob J. van Glabbeek, W. P. Weijland. 613-618
- Parallel Architectures in ESPRITJ. G. Harp, Eddy Odijk. 619-622
- The USSR Academy of Sciences Start ProjectVadim E. Kotov, A. S. Narin ani, Enn Tyugu. 623-626
- The FGCS Computing ArchitectureKazuo Taki. 627-632
- A Multiple Spanning Tree Protocol in Bridged LANsSalvatore Casale, Vincenzo Catania, Antonio Puliafito, Lorenzo Vita. 633-638
- Performance Comparison of Bridges and MAC Protocols for High Speed Backbone NetworksThomas Welzel, Martine Schümmer, Peter Martini. 639-644
- Improving the Efficiency of High Speed Implicit Token FOLANsPietro Camarda, Mario Gerla. 645-650
- Network Interconnection and GatewaysCarl A. Sunshine. 651-658
- Computer Network InterconnectionJonathan B. Postel. 659-660
- Knowledge Base Property Combinator LogicJørgen Fischer Nilsson. 661-666
- Temporal Reasoning Management with NonmonotonicityWei Qian, Zhaokeng Zhao. 667-672
- Modeling Preference Choices in Incomplete Deductive DatabasesVéronique Royer. 673-678
- NEGOPLAN: An Inference-Based Negotiation Support ToolStan Matwin, Stan Szpakowicz, Zbig Koperczak. 679-685
- A Dual-Level Differentiation Strategy for Fault LocalizationZhigang Xiang. 687-692
- Enrichment of Semantic Network for Requirements Expressed in Natural LanguageBrigitte Biebow, Sylvie Szulman. 693-698
- Software Factories in the USABarry W. Boehm. 701-703
- A Marvelous Extended Transaction Processing ModelGail E. Kaiser. 707-712
- Report on the 1989 Software CAD Database WorkshopLawrence A. Rowe. 719-725
- The Graphics Supercomputer: A New Class of ComputerGordon Bell, William S. Worley Jr.. 727-734
- The Evolution of VHDLRonald Waxman, Larry Saunders. 735-742
- Computer-Supported Cooperative Design: A Knowledge Base Management ApproachMatthias Jarke. 743
- The Future of Office AutomationNajah Naffah. 745-750
- The Models and the Integrated Infrastructure of CIM-OSAKurt Kosanke, Jakob Vlietstra. 759-764
- An Open System Architecture in Computer Integrated Manufacturing: CIM-OSAKurt Kosanke, Jakob Vlietstra. 765-770
- Position Statement on Flexible Integrated AutomationGeorge L. Kovács. 771
- Factory Automation - A Position StatementRolf Dieter Schraft. 773-774
- Personal Computers on Campuses: The ExperienceWilliam F. Atchison. 775
- Personal Computers on Campuses: The Experience at the Univerity of GhentRita M. M. De Caluwe. 776-777
- Proofs as Advanced and Powerful ToolGerhard Jäger. 783-790
- More Advanced and Powerful Proof ToolsMark E. Stickel. 791-792
- Why Isn t There an Object-Oriented Data Model?David Maier. 793-798
- What is Expected of an Object-Oriented Data Model?Kazumasa Yokota. 799-800
- The Basic Principles of Query Optimization in Relational Database Management SystemsJohann Christoph Freytag. 801-807
- Schema Change Propagation in Object-Oriented DatabasesGia Toan Nguyen, Dominique Rieu. 815-820
- MOOSE: Modeling Objects in a Simulation EnvironmentYannis E. Ioannidis, Miron Livny. 821-826
- Using OSI as a Basis for Decentralized File Servers in a Heterogeneous EnvironmentAndrew D. Marshall, Michael A. Bauer. 833-838
- Broadcasting Classified InformationHans-Georg Stork, Wolffried Stucky. 839-844
- Specification and Verification of Network Protocols Using Executable Temporal LogicDanny Kilis, Albert C. Esterline, James R. Slagle. 845-850
- Functional Specification of Communicating SystemsManfred Broy. 851-856
- A Temporal Logic for the Local Specification of Concurrent SystemsWojciech Penczek. 857-862
- The SEI Education Program: Strategy and AccomplishmentsNorman E. Gibbs. 863-866
- The SEI Software Process ProgramWatts S. Humphrey. 867-869
- Software Environments: PCTE and Related ProjectsIan Thomas. 875-878
- The MCC Software Technology ProgramSusan L. Gerhart. 883-889
- The Architecture of Massively Parallel Numeric ProcessorAbhaya Asthana, Cheryl J. Briggs, Mark R. Cravats, Boyd Mathews. 891-891
- MaRGOH: Clustering as a Global Solution to Massive Parallel ComputingMartin Adelantado, Nourredine Hifdi. 897-902
- Design Methods and Tools for Application Specific Integrated CircuitsAlberto L. Sangiovanni-Vincentelli. 903
- PLAYOUT - A Hierarchical Design SystemGerhard Zimmermann. 905-910
- Zen and the Art of Analog Design AutomationRob A. Rutenbar. 911
- Zen and the Art of Analog Design AutomationW. Martin Snelgrove. 914
- Is it User or Computer Interface?Yannis Vassiliou. 916
- Intelligent Interfaces as Cooperative Agents: From Stick Shift to Automatic Transmission in Human-Computer InteractionWolfgang Wahlster. 917
- Production Palnning and Scheduling in CIMJames J. Solberg. 919-925
- What Leads to a New Paradigm in CIM?Kenji Takeda. 927-928
- Artificial Intelligence and Advanced RoboticsJean-Claude Latombe. 929
- Some Recent Process in Sensor-Based Motion PlanningMartin Brooks. 930
- Environment Model for Advanced RobotsRamesh Jain. 931
- Intelligent Robots in the Real WorldLeslie Pack Kaelbling. 932-933
- Microprocessor Based System Design Courses for Graduate and Undergraduate College EductionJorge D. Salinger, Wunnava V. Subbarao, Mauricio O. Salinas, Laura V. Ruiz. 935-939
- Implementing Information Technology on a CampusRobert K. L. Gay, Kin-Kiong Low. 941-946
- Position Statement for the IFIP Congress 89 Panel on Foundations of Software EngineeringManfred Broy. 953
- Position Statement for the Panel on Foundations of Software EngineeringCliff B. Jones. 955
- Position Statement - Foundations of Software EngineeringHarlan D. Mills. 956
- Parallelism in Logic ProgrammingKazunori Ueda. 957-964
- Parallelism vs. Efficiency in Logic ProgrammingMehmet Dincbas. 965-966
- Shell and Interfaces with DBMSsJacques Kouloumdjian. 967-971
- Novel Aspects of Logic Programming in New Generation ApplicationsFumio Mizoguchi. 973-976
- Synthesis - A Reuse/Prototyping Process for Software DevelopmentArthur B. Pyster. 977-980
- The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and ArchitectureKazuaki Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita. 995-1000
- Cache with Synchronization MechanismHideharu Amano, Takuya Terasawa, Tomohiro Kudoh. 1001-1006
- Advances in VLSI-TestingJacob A. Abraham. 1013-1018
- Future Trends in the TestingThomas W. Williams. 1019-1020
- Intelligent User Interfaces for Advanced WorkstationsNajah Naffah, Michel Texier, Gabriel Jureidini. 1021-1024
- First Implementations of the ODA StandardIan R. Campbell-Grant, Günther Krönert. 1025-1028
- Object-Oriented Development for Open SystemsDennis Tsichritzis. 1033-1040
- Advanced Software Technology for Automating the OfficeIfay F. Chang. 1041-1042
- A Knowledge-Based Manufacturing Cell Design SystemGeorge L. Kovács, Zoltán Létray. 1043-1049
- Artificial Intelligence and Production ManagementEero Eloranta, Juha Hynynen. 1057-1064
- Literacy and Specialization in Artificial Intelligence for Business and Information Systems StudentsScott C. McIntyre, J. Daniel Couger. 1073-1078
- The Way of New Computer Architecture EducationAndrzej Kalis, Jan Kwiatkowski. 1079-1082
- Information and Restructuring of Soviet SocietyDimitry Chereshkin, M. Sh. Tsalenko. 1083-1087
- Computer-Mediated Communication Systems: Dropouts versus UsersStarr Roxanne Hiltz. 1089-1094
- Computerized CommerceDanny Cohen. 1095-1100
- Formal Structures in an Informal World: Information Processing is Model Processing for RealityHeinz Zemanek. 1101-1105
- Improving Fixpoint Toole for Computer ScienceIrène Guessarian. 1109-1114
- Loose Specification and Its SemanticsMorten Wieth. 1115-1120
- Proving the Correctness of Schorr-Waite Graph Marking by Inductive ExpansionPeter Padawitz. 1121-1126
- SEPIA - An Extendible Prolog SystemMicha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, Joachim Schimpf. 1127-1132
- A Type-Theoretic Approach to Program DevelopmentWei Li. 1133-1138
- Compiler Generation by Partial Evaluation: A Case StudyCarsten K. Gomard, Neil D. Jones. 1139-1144
- On Artificial Intelligence and Expert Systems - Myths, Legends, and Facts David Lorge Parnas. 1145-1146
- The J-Machine: A Fine-Gain Concurrent ComputerWilliam J. Dally, Andrew A. Chien, Stuart Fiske, Waldemar Horwat, John S. Keen, Michael Larivee, Richard A. Lethin, Peter R. Nuth, D. Scott Wills. 1147-1153
- An Architectural Disgn of a Highly Parallel Dataflow MachineYoshinori Yamaguchi, Shuichi Sakai, Kei Hiraki, Yuetsu Kodama. 1155-1160
- Distributed Garbage Collection for the Parallel Inference Machine PIE64Lu Xu, Hanpei Koike, Hidehiko Tanaka. 1161-1166
- Expert Systems Before the Flood?Wolfgang Coy, Lena Bonsiepen. 1167-1172