![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
11. IFIP Congress 1989: San Francisco, USA
- Gerhard X. Ritter:
Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989. North-Holland/IFIP 1989, ISBN 0-444-88015-1
Frontiers in Computing (Panel)
- Tommaso Toffoli:
Position Statement for Panel 1: Frontiers in Computing. IFIP Congress 1989: 1 - Vladimír Cerný:
Frontiers in Computing: Computing as a Simulation of Physical Systems. IFIP Congress 1989: 2 - Teuvo Kohonen:
Practical Problems and Vistas of Neural Computing (Position Statement). IFIP Congress 1989: 3
Randomization in Distributed & Parallel Computing
- Kosaburo Hashiguchi:
Algorithms for Determining Relative Star height and Star Height. IFIP Congress 1989: 5-10
Real Time Programming: Special Purpose or General Purpose Languages
- Gérard Berry:
Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17 - Jan Storbank Pedersen:
Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. IFIP Congress 1989: 19-20
Languages with Concurrency
- Leo Yuhsiang Liu, R. K. Shyamasundar:
RT-CDL: A Real Time Design Language and Its Semantics. IFIP Congress 1989: 21-26 - David B. Skillicorn:
Techniques for Compiling and Executing Dataflow Graphs. IFIP Congress 1989: 27-32 - G. M. Krecker, T. I. Lelchuk, Alexander G. Marchuk:
POLAR - A Programming Language for Multiprocessor Systems. IFIP Congress 1989: 33-37
Expert Systems: Professional Tools for Data Communication? (Panel)
- Dipak Khakhar:
Expert Systems: Professional Tools for Data Communication? (Panel). IFIP Congress 1989: 39-40 - Peter Politakis:
A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel). IFIP Congress 1989: 41
Industrial Tools
- B. French Keogh, D. Sin, A. Kuczewski de Poray, A. Latreche, G. Roullet, Jean-Pierre Cabanel:
MAN5: A Multivendor Network Management Tool. IFIP Congress 1989: 43-48 - James L. Peterson:
XSCOPE: A Debugging and Performance Toll for X11. IFIP Congress 1989: 49-54 - Lap-Ming Liu, N. S. Pryes:
SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. IFIP Congress 1989: 55-60
Effective Industrial Application of Formal Methods
- Bernard Sufrin:
Effective Industrial Application of Formal Methods. IFIP Congress 1989: 61-69
Report on Information Technology Projects in the People's Republic of China
- Xiao Xiang Zhang:
Some Comments on Research and Development of Information Processing in China. IFIP Congress 1989: 71 - Kongshi Xu:
Report on R and D at the Software Institute. IFIP Congress 1989: 73-76 - P. Xia, Q. Lin, M. Zhu, G.-J. Li, Y. Wang:
A Very Fast Array Processor and the Architecture of a Parallel Computer BJ. IFIP Congress 1989: 77-78 - Lan Jin:
Report on Interconnection Networks and Distributed Processing Projects in China. IFIP Congress 1989: 79-80 - Jiafu Xu:
Report on a Software Automation R&D Project. IFIP Congress 1989: 81
Specification
- Pamela Zave, Daniel Jackson:
Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88 - Thomas W. G. Docker, Robert B. France:
Flexibility and Rigour in Structured Analysis. IFIP Congress 1989: 89-94 - Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear:
Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress 1989: 95-100
Better Tools - Less Education?
- Wilfried Brauer, Ute Brauer:
Better Tools - Less Education? IFIP Congress 1989: 101-106 - Robert M. Aiken, Cristine Aiken:
Better Education - Different Tools. IFIP Congress 1989: 107-108
Hardware and Software Dependability Evaluation
- Jean-Claude Laprie:
Hardware-and-Software Dependability Evaluation. IFIP Congress 1989: 109-114 - Ravishankar K. Iyer:
Measurement and Modeling of Computer System Failures. IFIP Congress 1989: 115-116
Hardware and Software Dependability Evaluation (Panel)
- John F. Meyer:
Hardware and Software Dependability Evaluation: Future Trends. IFIP Congress 1989: 117 - William C. Carter:
Hardware and Software Dependability Evaluation: System Dependability. IFIP Congress 1989: 118 - Bev Littlewood:
Hardware and Software Dependability Evaluation: Software Dependability. IFIP Congress 1989: 119 - Shunji Osaki:
Hardware and Software Dependability Evaluation: Hardware Dependability. IFIP Congress 1989: 120
"Perfect" Pseudo-Random Number Generation
- Silvio Micali:
"Perfect" Pseudo-Random Number Generation. IFIP Congress 1989: 121-126 - Manuel Blum, Prabhakar Raghavan:
Program Correctness: Can One Test For It? IFIP Congress 1989: 127-134 - László Lovász:
Faster Algorithms for Hard Problems. IFIP Congress 1989: 135-141
Programming Human Computer Interaction
- Eric J. Golin, Robert V. Rubin, James Walker II:
The Visual Programmers Workbench (Extended Abstract). IFIP Congress 1989: 143-148 - Paul Franchi-Zannettacci:
Attribute Specifications for Graphical Interface Generation. IFIP Congress 1989: 149-155 - Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski:
Constraining Pictures with Pictures. IFIP Congress 1989: 157-162
Distributed Systems
- Paul Johannesson, Benkt Wangler:
The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture. IFIP Congress 1989: 163-168 - Vijay Kumar, Jerry Place, Gi-Chul Yang:
A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNU. IFIP Congress 1989: 169-174 - I. D. Johnson, Alan J. Harget:
On the Performance of Load Balancing Algorithms in Distributed Systems. IFIP Congress 1989: 175-180
Communication Support for Distributed Systems
- André A. S. Danthine:
Communication Support for Distributed Systems: OSI verus Special Protocols. IFIP Congress 1989: 181-190
Knowledge Representation Systems: Implementation, Experiences, Directions (Panel)
- Nick Cercone:
Better Tool for Professionals: Knowledge Based Systems. IFIP Congress 1989: 191-192 - James Davidson:
Towards Practical Knowledge Representation Systems. IFIP Congress 1989: 193 - Koichi Furukawa:
Constraint Logic Programming as a New Vehicle for Knowledge Representation. IFIP Congress 1989: 194
Industrial Strength Software Development Environments
- Dewayne E. Perry:
Industrial Strength Software Development Environments. IFIP Congress 1989: 195-203
Software Engineering Directions, Approaches and Issues
- Peter Freeman:
Strategic Directions in Software Engineering: Past, Present, and Future. IFIP Congress 1989: 205-210 - Herb Krasner:
Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process. IFIP Congress 1989: 211-216 - John C. Knight, Paul Ammann:
Issues Influencing the Use of N-Version Programming. IFIP Congress 1989: 217-222
Supercomputing in the 1990's
- Kenneth G. Wilson:
Supercomputing in the 1990's. IFIP Congress 1989: 223-227
Future Trends in Supercomputing: Access and Evaluation (Panel)
- John R. Gurd:
Future Trends in Supercomputing: Access and Evaluation. IFIP Congress 1989: 229 - David J. Kuck:
The Von Neumann and Parallel Computing Eras. IFIP Congress 1989: 230 - Norihisa Suzuki:
Design and Evaluation of Multiprocessor Workstations. IFIP Congress 1989: 231
Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis
- Dominique Borrione, Paolo Prinetto:
Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis. IFIP Congress 1989: 233-240 - 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. IFIP Congress 1989: 241-246
Representational Issues in Modeling User Tasks, Knowledge, and Interfaces
- Ray Waddington, Peter Johnson:
Designing and Evaluating Interfaces Using Task Models. IFIP Congress 1989: 247-252 - Marc Herrmann, Ralph D. Hill:
Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object Architecture. IFIP Congress 1989: 253-258 - Lawrence J. Williams, Frederick H. Lochovsky:
Supporting Knowledge Migration in Organizations. IFIP Congress 1989: 259-264
Computers and Continuing Education (Panel)
- George L. Kovács:
Position Statement on Computers and Continuing Education. IFIP Congress 1989: 265 - Milton R. Pine:
Some Unresolved Issues for Computers in Continuing Education. IFIP Congress 1989: 266
How Specialists Perceive the Social Impact of Computers (Panel)
- Ashley W. Goldsworthy:
How Specialists Perceive the Impact of Computers on Society. IFIP Congress 1989: 267 - Richard S. Rosenberg:
Panel Position Statement for Track 11 Computer and Society. IFIP Congress 1989: 268
Information System Design and Work in Organisation Design (Panel)
- Klaus Fuchs-Kittowski, Margrit Falck:
Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach. IFIP Congress 1989: 269-270 - Ulrich Briefs:
Information System Design and Design of Work and Organization (Position Paper). IFIP Congress 1989: 271 - Kari Thoresen:
Integrating Systems Development and Use. IFIP Congress 1989: 272 - Ina Wagner:
Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning. IFIP Congress 1989: 273-274
Algorithms and Complexity of Computation
- Jay N. Bhuyan, Jitender S. Deogun, Vijay V. Raghavan:
Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented Information Retrieval. IFIP Congress 1989: 275-280 - Lane A. Hemachandra, Gerd Wechsung:
Using Randomness to Characterize the Complexity of Computation. IFIP Congress 1989: 281-286 - Matthias Krause, Christoph Meinel, Stephan Waack:
Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. IFIP Congress 1989: 287-292
Parallel and Distributed Algorithms
- Joos Heintz, Pablo Solernó, Marie-Françoise Roy:
On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298 - Bernd Freisleben:
Non-Broadcast Communication Schemes for Information Dissemination. IFIP Congress 1989: 299-304 - Kazuo Iwama, Yahiko Kambayashi:
An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses. IFIP Congress 1989: 305-310
How to Use OSI - Practical Experience and Limitations (Panel)
- Gesualdo Le Moli:
Impact of OSI on the Architecture of the Design of Application Processes. IFIP Congress 1989: 311 - Andrew Herbert:
Distributed Systems and OSI. IFIP Congress 1989: 312 - V. Lazarev:
Layer N Protocol Decomposition on Subprotocols. IFIP Congress 1989: 313 - Karl Litzenberg:
How to Use OSE - Reducing Limitations. IFIP Congress 1989: 314
Logical Foundations of Deductive Databases
- Vladimir Lifschitz:
Logical Foundations of Deductive Databases. IFIP Congress 1989: 315-321 - John W. Lloyd:
Logic as a Foundation for Deductive Database Systems. IFIP Congress 1989: 323-324
Implementation Issues for Knowledge Bases
- Robert Demolombe:
An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress 1989: 325-330 - Tao Li, Chris D. Marlin:
Algorithms for the Parallel Execution of Rule-Based Expert Systems. IFIP Congress 1989: 331-336 - Franz Barachini, Hans Mistelberger, E. Bahr:
A New Method for Parallel Pattern Matching. IFIP Congress 1989: 337-342
Validation of Hardware and Software: Similarities and Differences (Panel)
- Jan Hlavicka:
Validation and Verification of Hardware and Software (Position Statement). IFIP Congress 1989: 343 - William E. Howden:
A Comparison of Software and Hardware Testing. IFIP Congress 1989: 344
Software Engineering Environments
- Dick Schefström:
Building a Highly Integrated Development Environment Using Preexisting Parts. IFIP Congress 1989: 345-350 - Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice:
Method Driven Programming. IFIP Congress 1989: 351-356 - L. N. Rajaram, S. C. Gupta:
An Integrated Framework for User-Driven Interactive Application Development. IFIP Congress 1989: 357-362
Future Computing Media: Japan's Efforts
- Makoto Mukai, Keiichiro Uchida:
Pushing the Limits of Conventional Media. IFIP Congress 1989: 363-366 - Toyohiko Yatagai:
Optical Computing. IFIP Congress 1989: 367-370 - Shiro Usui:
Neural Computing. IFIP Congress 1989: 371-374 - Gen Matsumoto, Toshio Iijima, Michinori Ichikawa:
Bio-Computing. IFIP Congress 1989: 375-378
Silicon Compilers: How Well Have They Done, and Where Are They Headed? (Panel)
- Randal E. Bryant:
Silicon Compilers: How Well Have They Done, and Where Are They Headed? IFIP Congress 1989: 379 - Hugo De Man:
Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms. IFIP Congress 1989: 380
Can Office Technology Support Office Dialogues?
- Terry Winograd:
Can Office Technology Support Office Dialogues? IFIP Congress 1989: 381-387 - Carl Hewitt:
Toward an Open Systems Architecture. IFIP Congress 1989: 389-392
Can Current Office Models Support Automation?
- Nicolau Reinhard:
Cross-Cultural Perspective in Office Automation. IFIP Congress 1989: 393 - Rudy Hirschheim:
Towards a Broader Notion of the Office. IFIP Congress 1989: 394-395 - Cheng-Seen Ho:
A Pragmatic Approach to Office Modeling. IFIP Congress 1989: 396 - Lucy A. Suchman:
What Are Models for and Do We Want Them to Support Automation? IFIP Congress 1989: 397
Advanced Design for Automated Manufacture
- Günter Spur:
Advanced Design for Automated Manufacture. IFIP Congress 1989: 399-406 - Kenneth Preiss:
Advanced Design for Automated Manufacture. IFIP Congress 1989: 407-408
Computer Eduction for All
- Frank Lovis, Bernard Levrat:
The Computerised Society: A Challenge for Educators. IFIP Congress 1989: 409-413 - Paul van Binst, Luc Wilkin:
Informatics and Human Sciences: A Working Synergy. IFIP Congress 1989: 415-418 - Tony Bryant:
Better Professionals for the Tools. IFIP Congress 1989: 419-425
Developing Competence in a Developing Environment
- Helder Coelho:
Developing Competence in a Developing Environment. IFIP Congress 1989: 427-433 - Subhash C. Bhatnagar:
Strategic Choices in Developing Competence in Information Technology. IFIP Congress 1989: 435-436
Data Structure Design and Analysis
- Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas:
Multiple Representations of Dynamic Data Structures. IFIP Congress 1989: 437-442 - Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski:
Digital Search Trees - Further Results on a Fundamental Data Structure. IFIP Congress 1989: 443-447 - Rolf Klein, Derick Wood:
On Binary Trees. IFIP Congress 1989: 449-454
Randomized Parallel Algorithms
- John H. Reif, Sandeep Sen:
Randomized Parallel Algorithms. IFIP Congress 1989: 455-458 - Silvia M. Müller, Wolfgang J. Paul:
Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers. IFIP Congress 1989: 459-460
Experiences and Trends
- A. L. Ibbetson, E. B. Spratt, R. P. A. Collinson:
Ten Years of Local Area Networking in a University Context. IFIP Congress 1989: 461-466 - Ray Hunt:
A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation. IFIP Congress 1989: 467-472 - R. I. Swindle, R. G. F. Aitchison:
ISDN: Will the World Embrace It? IFIP Congress 1989: 473-477
From ISDN to IBCN
- Paul J. Kühn:
rom ISDN to IBCN (Integrated Broadband Communication Network). IFIP Congress 1989: 479-486 - Hiromasa Ikeda:
From ISDN to IBCN. IFIP Congress 1989: 487-488
Knowledge Bases and Databases (Panel)
- Yves Kodratoff:
The AI Approach to ML and Enlarging the "ES Certification Bottleneck". IFIP Congress 1989: 489
Software Fault Tolerance
- Algirdas Avizienis:
Software Fault Tolerance. IFIP Congress 1989: 491-498
Can Software Faults Be Tolerated? (Panel)
- Brian Randell:
Can Design Faults be Tolerated. IFIP Congress 1989: 499 - Gunnar Hagelin:
Can Software Faults be Tolerated? IFIP Congress 1989: 500 - John C. Knight:
Can Software Faults be Tolerated? (Position Statement). IFIP Congress 1989: 501 - David Lorge Parnas:
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts". IFIP Congress 1989: 1145-1146
The Effectiveness of Neural Computing
- John J. Hopfield:
The Effectiveness of Neural Computing. IFIP Congress 1989: 503-507
Modeling and Performance Evaluation
- Brian K. Bray, K. Cuderman, Michael J. Flynn, Andrew Zimmerman:
The Computer Architect's Workbench. IFIP Congress 1989: 509-514 - Selim G. Akl, G. R. Guenther:
Broadcasting with Selective Reduction. IFIP Congress 1989: 515-520 - Chi-Hung Chi:
Improving Cache Performance Using a Unified Management of Registers and Cache. IFIP Congress 1989: 521-526
Design Automation in Industry I: Experience Across the World (Panel)
- John A. Darringer:
Advanced Design Automation in Industry. IFIP Congress 1989: 527 - François Anceau:
Formal Verification: A Significant Step Towards Zero Deffect VLSI Design. IFIP Congress 1989: 528 - Makoto Endo:
The Roles of Logic Synthesis Systems. IFIP Congress 1989: 529 - Ulrich Lauther:
Some Experiences with Advanced Design Automation Tools. IFIP Congress 1989: 530 - Akihiko Yamada:
Design Automation for Large Mainframes and Supercomputers in NEC. IFIP Congress 1989: 531
Design Automation in Industry II: Challenges Across the World (Panel)
- Bryan D. Ackland:
Experiences with Advanced Design Automation Tools. IFIP Congress 1989: 532 - Theo A. C. M. Claasen:
VLSI Design Methods: Posibilities and Limitations. IFIP Congress 1989: 533 - Mitsuo Ishii:
Automated Testing. IFIP Congress 1989: 534
User Interface Technologies
- Gerhard Weber:
Reading and Pointing - Modes of Interaction for Blind Users. IFIP Congress 1989: 535-540 - Yuzuru Tanaka, Takamoto Imataki:
IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations. IFIP Congress 1989: 541-546 - Michel Kuntz, Rainer Melchert:
Pasta-3: A Complete Integrated Graphical Direct Manipulation Interface for Knowledge Bases. IFIP Congress 1989: 547-552
Impact of Computer Technologies on Education
- Jef Moonen:
Impact of Computer Technologies on Education. IFIP Congress 1989: 553-559 - Betty A. Collis:
Impact of Computers on Education: A Response. IFIP Congress 1989: 561-562
Educational Tools for Informatics
- Simon M. Kaplan, Ralph E. Johnson:
On Language Choice for the Introductory Comuter Science Course. IFIP Congress 1989: 563-568 - Gisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri:
UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring. IFIP Congress 1989: 569-574 - Fred Mulder:
Distance Learning of University Level Informatics with and without Computers. IFIP Congress 1989: 575-580
Fractals: A New Challenge to Model Reality
- Heinz-Otto Peitgen, Hartmut Jürgens:
Fractals: A New Challenge to Model Reality. IFIP Congress 1989: 581-588 - Blagovest Sendov:
Fractals, Chaos and Approximation. IFIP Congress 1989: 589-590
Designing Concurrency Semantics
- J. W. de Bakker:
Designing Concurrency Semantics. IFIP Congress 1989: 591-598 - Vadim E. Kotov:
Designing Concurrency Models. IFIP Congress 1989: 599-600
Semantics and Concurrency
- Kim Marriott, Harald Søndergaard:
Semantics-Based Dataflow Analysis of Logic Programs. IFIP Congress 1989: 601-606 - Anne E. Haxthausen:
Recursive Algebraic Specifications and their Semantics. IFIP Congress 1989: 607-612 - Rob J. van Glabbeek, W. P. Weijland:
Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). IFIP Congress 1989: 613-618
Europe/USSR/Japan on Computing Systems Architectures
- J. G. Harp, Eddy Odijk:
Parallel Architectures in ESPRIT. IFIP Congress 1989: 619-622 - Vadim E. Kotov, Alexander S. Narin'ani, Enn Tyugu:
The USSR Academy of Sciences Start Project. IFIP Congress 1989: 623-626 - Kazuo Taki:
The FGCS Computing Architecture. IFIP Congress 1989: 627-632
Backbone Networks
- Salvatore Casale, Vincenzo Catania, Antonio Puliafito, Lorenzo Vita:
A Multiple Spanning Tree Protocol in Bridged LANs. IFIP Congress 1989: 633-638 - Thomas Welzel, Martine Schümmer, Peter Martini:
Performance Comparison of Bridges and MAC Protocols for High Speed Backbone Networks. IFIP Congress 1989: 639-644 - Pietro Camarda, Mario Gerla:
Improving the Efficiency of High Speed Implicit Token FOLANs. IFIP Congress 1989: 645-650
Network Interconnection and Gateways
- Carl A. Sunshine:
Network Interconnection and Gateways. IFIP Congress 1989: 651-658 - Jonathan B. Postel:
Computer Network Interconnection. IFIP Congress 1989: 659-660
Principles of Knowledge Representation
- Jørgen Fischer Nilsson:
Knowledge Base Property Combinator Logic. IFIP Congress 1989: 661-666 - Wei Qian, Zhaokeng Zhao:
Temporal Reasoning Management with Nonmonotonicity. IFIP Congress 1989: 667-672 - Véronique Royer:
Modeling Preference Choices in Incomplete Deductive Databases. IFIP Congress 1989: 673-678
Applications of Knowledge Based Systems
- Stan Matwin, Stan Szpakowicz, Zbig Koperczak:
NEGOPLAN: An Inference-Based Negotiation Support Tool. IFIP Congress 1989: 679-685 - Zhigang Xiang:
A Dual-Level Differentiation Strategy for Fault Localization. IFIP Congress 1989: 687-692 - Brigitte Biebow, Sylvie Szulman:
Enrichment of Semantic Network for Requirements Expressed in Natural Language. IFIP Congress 1989: 693-698
Software Factories Around the World (Panel)
- Colin Tully:
Software Factories Around the World: Introduction to Panel Session. IFIP Congress 1989: 699-700 - Barry W. Boehm:
Software Factories in the USA. IFIP Congress 1989: 701-703 - Richard E. Thomas:
The European Position on Software Factories. IFIP Congress 1989: 704-705
Software Engineering Databases
- Gail E. Kaiser:
A Marvelous Extended Transaction Processing Model. IFIP Congress 1989: 707-712 - Rainer Czarnetzki, Friedrich Spörl:
Implementation of an ERM Data Dictionary System for Open CASE Environment. IFIP Congress 1989: 713-718 - Lawrence A. Rowe:
Report on the 1989 Software CAD Database Workshop. IFIP Congress 1989: 719-725
The Graphics Supercomputer
- Gordon Bell, William S. Worley Jr.:
The Graphics Supercomputer: A New Class of Computer. IFIP Congress 1989: 727-734
The Evolution of VHDL
- Ronald Waxman, Larry F. Saunders:
The Evolution of VHDL. IFIP Congress 1989: 735-742
Computer Supported Cooperative Work (Panel)
- Matthias Jarke:
Computer-Supported Cooperative Design: A Knowledge Base Management Approach. IFIP Congress 1989: 743 - Kalle Lyytinen:
Computer Supported Coorperative Work (CSCW) - Issues and Challenges. IFIP Congress 1989: 744
The Future Office Automation
- Najah Naffah:
The Future of Office Automation. IFIP Congress 1989: 745-750 - Giampio Bracchi, Maria Grazia Fugini:
The Future of Office Automation: Advanced Design Techniques for Office Applications. IFIP Congress 1989: 751-752
Computer Integrated Manufacturing
- Steven F. Shevell:
Computer Integrated Manufacturing: Small Can Be Beautiful. IFIP Congress 1989: 753-758 - Kurt Kosanke, Jakob Vlietstra:
The Models and the Integrated Infrastructure of CIM-OSA. IFIP Congress 1989: 759-764 - Kurt Kosanke, Jakob Vlietstra:
An Open System Architecture in Computer Integrated Manufacturing: CIM-OSA. IFIP Congress 1989: 765-770
Flexible Integrated Automation Systems (Panel)
- George L. Kovács:
Position Statement on Flexible Integrated Automation. IFIP Congress 1989: 771 - J. L. Fernández de Arroyabe:
Fault Tolerant Control in Manufacturing Processes. IFIP Congress 1989: 772 - Rolf Dieter Schraft:
Factory Automation - A Position Statement. IFIP Congress 1989: 773-774
Personal Computers on Campuses: The Experience (Panel)
- William F. Atchison:
Personal Computers on Campuses: The Experience. IFIP Congress 1989: 775 - Rita M. M. De Caluwe:
Personal Computers on Campuses: The Experience at the Univerity of Ghent. IFIP Congress 1989: 776-777 - Paolo Ercoli:
Personal Computers on Campuses: The Experience. IFIP Congress 1989: 778 - Setsuko Otsuki:
Personal Computers on Campuses: The Experience. IFIP Congress 1989: 779 - P. Jarratt:
Personal Computers on Campuses: The Experience. IFIP Congress 1989: 780-781
Proofs as Advanced and Powerful Tool
- Gerhard Jäger:
Proofs as Advanced and Powerful Tool. IFIP Congress 1989: 783-790 - Mark E. Stickel:
More Advanced and Powerful Proof Tools. IFIP Congress 1989: 791-792
Why Isn't There an Object-Oriented Data Model?
- David Maier:
Why Isn't There an Object-Oriented Data Model? IFIP Congress 1989: 793-798 - Kazumasa Yokota:
What is Expected of an Object-Oriented Data Model? IFIP Congress 1989: 799-800
Extending Database Technology
- Johann Christoph Freytag:
The Basic Principles of Query Optimization in Relational Database Management Systems. IFIP Congress 1989: 801-807 - Gia Toan Nguyen, Dominique Rieu:
Schema Change Propagation in Object-Oriented Databases. IFIP Congress 1989: 815-820 - Yannis E. Ioannidis, Miron Livny:
MOOSE: Modeling Objects in a Simulation Environment. IFIP Congress 1989: 821-826
Information Management
- Michael F. Schwartz:
The Networked Resource Discovery Project. IFIP Congress 1989: 827-832 - Andrew D. Marshall, Michael A. Bauer:
Using OSI as a Basis for Decentralized File Servers in a Heterogeneous Environment. IFIP Congress 1989: 833-838 - Hans-Georg Stork, Wolffried Stucky:
Broadcasting Classified Information. IFIP Congress 1989: 839-844
Specification of Distributed Systems
- Danny Kilis, Albert C. Esterline, James R. Slagle:
Specification and Verification of Network Protocols Using Executable Temporal Logic. IFIP Congress 1989: 845-850 - Manfred Broy:
Functional Specification of Communicating Systems. IFIP Congress 1989: 851-856 - Wojciech Penczek:
A Temporal Logic for the Local Specification of Concurrent Systems. IFIP Congress 1989: 857-862
SEI on the Software Technology Transtion
- Norman E. Gibbs:
The SEI Education Program: Strategy and Accomplishments. IFIP Congress 1989: 863-866 - Watts S. Humphrey:
The SEI Software Process Program. IFIP Congress 1989: 867-869 - Judy Bayer, Nancy Melone:
Technology Transition of Software Engineering Innovations: Experiences in the Field. IFIP Congress 1989: 871-874
Europe/USSR/USA on Down & Upstream SE Environments
- Ian Thomas:
Software Environments: PCTE and Related Projects. IFIP Congress 1989: 875-878 - Boris Artashesovich Babayan, Gennadiy Georgevich Ryabov, G. D. Chinin:
Elbrus Software Methodology: Instrumentation - Experience. IFIP Congress 1989: 879-882 - Susan L. Gerhart:
The MCC Software Technology Program. IFIP Congress 1989: 883-889
Supercomputers for Scientific Computing
- Abhaya Asthana, Cheryl J. Briggs, Mark R. Cravats, Boyd Mathews:
The Architecture of Massively Parallel Numeric Processor. IFIP Congress 1989: 891-891 - Martin Adelantado, Nourredine Hifdi:
MaRGOH: Clustering as a Global Solution to Massive Parallel Computing. IFIP Congress 1989: 897-902
Design Methods and Tools for Application Specific Integrated Circuits
- Alberto L. Sangiovanni-Vincentelli:
Design Methods and Tools for Application Specific Integrated Circuits. IFIP Congress 1989: 903 - Gerhard Zimmermann:
PLAYOUT - A Hierarchical Design System. IFIP Congress 1989: 905-910
Zen and the Art of Analog Design Automation (Panel)
- Rob A. Rutenbar:
Zen and the Art of Analog Design Automation. IFIP Congress 1989: 911 - Richard K. Hester:
Zen and the Art of Analog Design Automation. IFIP Congress 1989: 912 - Kendall Russell:
Zen and the Art of Analog Design Automation. IFIP Congress 1989: 913 - W. Martin Snelgrove:
Zen and the Art of Analog Design Automation. IFIP Congress 1989: 914
Intelligent User Interfaces: Boon or Bane (Panel)
- Ben Shneiderman:
Intelligent User Interfaces: From Fantasy to Fact. IFIP Congress 1989: 915 - Yannis Vassiliou:
Is it User or Computer Interface? IFIP Congress 1989: 916 - Wolfgang Wahlster:
Intelligent Interfaces as Cooperative Agents: From Stick Shift to Automatic Transmission in Human-Computer Interaction. IFIP Congress 1989: 917
Production Planning and Scheduling in CIM
- James J. Solberg:
Production Palnning and Scheduling in CIM. IFIP Congress 1989: 919-925 - Kenji Takeda:
What Leads to a New Paradigm in CIM? IFIP Congress 1989: 927-928
Artificial Intelligence and Advanced Robotics (Panel)
- Jean-Claude Latombe:
Artificial Intelligence and Advanced Robotics. IFIP Congress 1989: 929 - Martin Brooks:
Some Recent Process in Sensor-Based Motion Planning. IFIP Congress 1989: 930 - Ramesh C. Jain:
Environment Model for Advanced Robots. IFIP Congress 1989: 931 - Leslie Pack Kaelbling:
Intelligent Robots in the Real World. IFIP Congress 1989: 932-933
Introduction of Informatics at University
- Jorge D. Salinger, Wunnava V. Subbarao, Mauricio O. Salinas, Laura V. Ruiz:
Microprocessor Based System Design Courses for Graduate and Undergraduate College Eduction. IFIP Congress 1989: 935-939 - Robert K. L. Gay, Kin-Kiong Low:
Implementing Information Technology on a Campus. IFIP Congress 1989: 941-946 - Stewart A. Denenberg:
Developing Reasoning Skills in College Freshman Using Computer Programming, Collaborative Problem Solving and Writing. IFIP Congress 1989: 947-952
Foundations of Software Engineering - The Silver Bullet (Panel)
- Manfred Broy:
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. IFIP Congress 1989: 953 - David Gries:
Position Statement on the Foundations of Software Engineering. IFIP Congress 1989: 954 - Cliff B. Jones:
Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955 - Harlan D. Mills:
Position Statement - Foundations of Software Engineering. IFIP Congress 1989: 956
Parallelism in Logic Programming
- Kazunori Ueda:
Parallelism in Logic Programming. IFIP Congress 1989: 957-964 - Mehmet Dincbas:
Parallelism vs. Efficiency in Logic Programming. IFIP Congress 1989: 965-966
Europe/Japan on Logic Programming & Knowledge Base Systems
- Jacques Kouloumdjian:
Shell and Interfaces with DBMSs. IFIP Congress 1989: 967-971 - Fumio Mizoguchi:
Novel Aspects of Logic Programming in New Generation Applications. IFIP Congress 1989: 973-976
SPC on Production-Oriented Software Engineering
- Arthur B. Pyster:
"Synthesis" - A Reuse/Prototyping Process for Software Development. IFIP Congress 1989: 977-980 - Brian A. Nejmeh, Thomas E. Dickey, Steven P. Wartik:
Traceability Technology at the Software Productivity Consortium. IFIP Congress 1989: 981-984 - Alex Blakemore, Gary Schebella:
Tools for Analyzing Dynamic Properties of System and Software Designs. IFIP Congress 1989: 985-988
Supercomputing in Airplane Design
- Paul E. Rubbert:
Supercomputing in Airplane Design. IFIP Congress 1989: 989-994
General-Purpose Multiprocessors
- Kazuaki J. Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita:
The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. IFIP Congress 1989: 995-1000 - Hideharu Amano, Takuya Terasawa, Tomohiro Kudoh:
Cache with Synchronization Mechanism. IFIP Congress 1989: 1001-1006 - Boris Borovsky, Plamenka Ivanova:
Performance Issues in Multicomputer Architectures with Recirculation of Heterogeneous Information Flows. IFIP Congress 1989: 1007-1012
Advances in VLSI-Testing
- Jacob A. Abraham:
Advances in VLSI-Testing. IFIP Congress 1989: 1013-1018 - Thomas W. Williams:
Future Trends in the Testing. IFIP Congress 1989: 1019-1020
ESPRIT on Office Systems & Computer Integrated Manufacturing
- Najah Naffah, Michel Texier, Gabriel Jureidini:
Intelligent User Interfaces for Advanced Workstations. IFIP Congress 1989: 1021-1024 - Ian R. Campbell-Grant, Günther Krönert:
First Implementations of the ODA Standard. IFIP Congress 1989: 1025-1028 - Ernst G. Schlechtendahl:
Intelligent Communication of Product Definition Data. IFIP Congress 1989: 1029-1032
Object-Oriented Development for Open Systems
- Dennis Tsichritzis:
Object-Oriented Development for Open Systems. IFIP Congress 1989: 1033-1040 - Ifay F. Chang:
Advanced Software Technology for Automating the Office. IFIP Congress 1989: 1041-1042
Erpert Systems & Factory Automation
- George L. Kovács, Zoltán Létray:
A Knowledge-Based Manufacturing Cell Design System. IFIP Congress 1989: 1043-1049 - Esko Juuso:
An Expert System in Fuzzy Simulation of Metallurgical Processes. IFIP Congress 1989: 1051-1056
Artificial Intelligence and Production Management
- Eero Eloranta, Juha Hynynen:
Artificial Intelligence and Production Management. IFIP Congress 1989: 1057-1064 - J. Browne:
A Respons to the Paper of E. Eloranta and J. Hynynen. IFIP Congress 1989: 1065-1066
Problems in Specific Education Areas
- Abdechahid Qualid:
Problems of Software Development in Developing Countries. IFIP Congress 1989: 1067-1071 - Scott C. McIntyre, J. Daniel Couger:
Literacy and Specialization in Artificial Intelligence for Business and Information Systems Students. IFIP Congress 1989: 1073-1078 - Andrzej Kalis, Jan Kwiatkowski:
The Way of New Computer Architecture Education. IFIP Congress 1989: 1079-1082
Tools for Progress of Society
- Dimitry Chereshkin, M. Sh. Tsalenko:
Information and Restructuring of Soviet Society. IFIP Congress 1989: 1083-1087 - Starr Roxanne Hiltz:
Computer-Mediated Communication Systems: Dropouts versus Users. IFIP Congress 1989: 1089-1094 - Danny Cohen:
Computerized Commerce. IFIP Congress 1989: 1095-1100
Formal Structures in an Informal World
- Heinz Zemanek:
Formal Structures in an Informal World: Information Processing is Model Processing for Reality. IFIP Congress 1989: 1101-1105 - Giorgio Sacerdoti:
Formal Structures in an Informal World. IFIP Congress 1989: 1107-1108
Specification and Verification Techniques
- Irène Guessarian:
Improving Fixpoint Toole for Computer Science. IFIP Congress 1989: 1109-1114 - Morten Wieth:
Loose Specification and Its Semantics. IFIP Congress 1989: 1115-1120 - Peter Padawitz:
Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. IFIP Congress 1989: 1121-1126
Semantics of Programming Languages
- 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. IFIP Congress 1989: 1127-1132 - Wei Li:
A Type-Theoretic Approach to Program Development. IFIP Congress 1989: 1133-1138 - Carsten K. Gomard, Neil D. Jones:
Compiler Generation by Partial Evaluation: A Case Study. IFIP Congress 1989: 1139-1144
Paradigm-Oriented Supercomputers
- 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. IFIP Congress 1989: 1147-1153 - Yoshinori Yamaguchi, Shuichi Sakai, Kei Hiraki, Yuetsu Kodama:
An Architectural Disgn of a Highly Parallel Dataflow Machine. IFIP Congress 1989: 1155-1160 - Lu Xu, Hanpei Koike, Hidehiko Tanaka:
Distributed Garbage Collection for the Parallel Inference Machine PIE64. IFIP Congress 1989: 1161-1166
The Quest for the Future
- Wolfgang Coy, Lena Bonsiepen:
Expert Systems Before the Flood? IFIP Congress 1989: 1167-1172 - Fernando Redondo:
Labour, Consumption, Data Processing and the Future. IFIP Congress 1989: 1173-1178
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.