yusuke1997/dblp-id-title huggingface dataset:
Applications of Modern Programming Language Concept to Text Processing with a Large Charakter Set
Making Expert Systems Explicit - Response
A Very High-Speed Microprogrammable Pipeline Signal Processor
Problems of binary representation of functions
Towards Practical Synthesis of Programs
Toward a Unified Logic Basis for Programming Languages
Hardware and Software Dependability Evaluation: Future Trends
Logic as a Foundation for Deductive Database Systems
Coping with Timing Uncertainties in Distributed Real-Time Systems
New Text and Message Services
Performance Comparison of Bridges and MAC Protocols for High Speed Backbone Networks
The Information System "Atmospheric Radiation over Siberia"
Toward a management planning and control system
Design and Evaluation of Multiprocessor Workstations
J. E. Thornton: Whither Computer Architecture?
Multiple-Path Syntacitc Analyzer
Fundamental Mode and Pulse Mode Operations of Sequential Circuits
Remote Files for Lilith Computers
Computer applications to urban planning and analysis: examples and prospects
Managerial and Economic Issues in Distributed Computing
UNIX and Its Standardisation (Panel)
New Generation of Microcomputer-Based Operations Control Systems for High-Speed Rail and Guided Transportation as Demonstrated by TRANSRAPID
Computer Science Education: An Emerging Consensus on Basic Concepts
DYONIPOS: Proactive Support of Knowledge Processes
Practical Problems and Vistas of Neural Computing (Position Statement)
Supporting Knowledge Migration in Organizations
A Reliable Link Initialization Procedure
A technique for the construction and use of a generalized information table
A New Approach for Time-Shared Data Acquisition and Control
Timed Mirroring Typed Decision Graphs: A Model Structure For Real-Time Systems
Broadcasting Classified Information
Experimental research in dependable computing at Carnegie Mellon University - From Faults to Manifestations
Alignment and Phylogeny Construction for Biological Sequences
Efforts toward and associative learning instructional system
AMTRAN 70
Shared Internal Resources in Multiprocessor
Dynamic Storage Allocation of Arbitrary Sized Segments
Tool support of orderly transition from informal to formal descriptions in requirements engineering
A Learning Method for Natural Language Processing and Application to Information Retrieval
Solving Geometrical Place Problems by using Evolutionary Algorithms
Computer Based packages in hte Instructional Engineering Approach
On a Flexible Implementation of Digital Computer Arithmetic
The SEI Software Process Program
EDI in Australian international trade and transport
Innovation as a Critical Success Factor for the Development of an Information Technology Industry in Chile
A system design proposal
An Implementation-Oriented Method for Describing Algorithmic Languages
PABX and LANS (Panel)
Artificial Intelligence for Semantic Understanding
Computers in Economic Policy-Making: Challenging Advances in Computer Systems and Econometric Models
The Workstation Approach for Software Engineering (Invited Paper)
Proving Implementations Correct - Two Alternative Approaches
Analysis and Generation of Japanese Folktales Based on Vladimir Propp's Methodology
Formal and Informal Models of Office Activity
The XUMA Expert System "Enviromental Hazards from Contamined Sites"
Synthesis algorithms for sequential machines
Academic-Industry Collaboration: A View of the European Scene from Industry
Paging with Fewest Expected Replacements
Checking Software Development Processes
LRO2: Artificial Intelligence and Object Oriented Languages
Satisfying Requirements for Electronic Commerce
The continuity index of documentation abstracts
Recent Progress inMemory Devices and their Prospect
The control functions in a local data network
Record Linkage: Adaptive Decision Techniques in File Processing
Cigale, The Packet Switching Machine of the Cyclades Computer Network
Function Semantics for Sequential Programs
VLSI Algorithms for Combinatorial Problems
Time Shared Clinical Radioisotopic Scan Collection, Processing and Retrieval
Some Rules of Inductive Inference and their Use for Program Synthesis
On the Correctness of Accepted Input
An Advanced System Programming Course
Semantics-Based Dataflow Analysis of Logic Programs
Specification and Development of Reactive Systems - Response
The 925 Family of Office Workstations
Building a Framework for Actions and Roles in Organizational Knowledge Transfer
Opportunities and Risks of a New Technological Infrastructure for the 21st Century in a Borderless World Economy
Modeling Preference Choices in Incomplete Deductive Databases
One Sided Error Predicates in Geometric Computing
Knowledge-Based Simulation in Memory Re-Education
Mappings in Database Systems
Threshold Logic with One or more than One Threshold
Memory Sizing for Digital Filters
Digital Search Trees - Further Results on a Fundamental Data Structure
Faut-il passer à la forme canonique dans les problèmes différentielles de conditions initiales?
Building a Highly Integrated Development Environment Using Preexisting Parts
A Century after Lady Lovelace' Tragedy
Integrating Dialog Management and Data Base Management
Three-Level Hierarchical Storage System for Facom M-380/382
The Pandora Protocol Development System
Methodology and Tools for Qualitative Protocols Validation
The Limits of the Complexity of Computer Systems
The computer utility in a university or scientific environment
Closing Speech
Using Stacks to Detect Expression Parallelism
Telecom Technology Transfer - Experience in India
Implementation and Engineering of a Production-Oriented DBMS
Enlarging Gap between Quantum and Classical Query Complexities
A Basis for Program Optimization
The Swedish National IT-Programme
Realization of a geometry theorem proving machine
Computers and Employment: The U. S. Experience
Management Information System on the Level of Hungarian Government
Towards multimodal Web interaction - Web pages you can speak to and gesture at
Automatic Multirate Methods for Ordinary Differential Equation
The computer in literary studies
Improving Fixpoint Toole for Computer Science
Integration of Telephony into DP Applications: A Building Block for Intelligent Information Systems
A long term initiative in the development of IT tools for decision support
Nondeterministic Dataflow Graphs
Responsible Scientists - A Social-Constructivist Approach
Strategy for Multidimensional Neutron Group Diffusion Computations
PegaSys and the Role of Logic in programming Environments
Building scalable mediator systems
A Periodicity Theorem for Trees
High-Speed Memories
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems
Generic Personal Communications Support for Open Service Environments
Testing for Usability Is Not Enough: Why Clinician Acceptance of Health Information Systems Is also Crucial for Successful Implementation
A Multisensory Electronic System for Developing Handwriting Skills with Blind Trainees
Compilation of arithmetic expressions for parallel computations
Understanding and Controlling Software Costs (Invited Paper)
Human Resource Generation in Information Technology - Indian Effort
The COMIT system for mechanical translation
Solution of the Dirichlet problem on a simulated parallel processing system
Data Abstraction in the Specification of Information Systems
Some Data-Analytic Problems in Archaeology and History
E-mail as an Enabling Technology in Brazil: The CNPq/ProTeM-CC Experience
Artificial Intelligence and Advanced Robotics
Smart Cards as Communication Tools in Health Information Systems
Information Technology Security Evaluation Criteria (ITSEC) - a Contribution to Vulnerability?
Information Retrieval Using the Content Addressable File Store
Focusing on the Internal Mode in CAD and CAM Systems
Computer sciences for ages 12 to 18: what to teach, how to teach it
A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation
Computer Simulations of a Perceptual Learning Model for Sensory Pattern Recognition, Concept Formation and Symbol Transformation
VLSI and the Foundations of Computation
High-Performance Program Request Control
A Low Cost Computer Graphics Storage Terminal with Selective Erasure
A Java-Based Distributed Platform for Multilateral Security
Advanced IT Tools, IFIP World Conference on IT Tools, 2-6 September 1996, Canberra, Australia
Un système analogique-digital pour la reconnaissance de caractères
Telematic Services in Catalan Schools: Working Environment and Achievements
The Basic Languge Project
Performance of Unslotted ALOHA with Capture
Global Systems Integration with Hypermedia
Requirements Collection and Analysis in Information Systems Design - Response
Logical Foundations of Deductive Databases
Knowledge Management In Action - IFIP 20th World Computer Congress, Conference on Knowledge Management in Action, September 7-10, 2008, Milano, Italy
A Survey of Several Aspects of Data Communication
From Objectivity to Covenience: Information Processing for Literary Study
Putting Software Technology to Work
Optimization of Program Organization by Cluster Analysis
Computer-Supported Cooperative Design: A Knowledge Base Management Approach
A generic formal specification of fusion of modalities in a multimodal HCI
Computational Problems in Magnetohydrodynamics
Priority Scheduling Disciplines in Queuing Network Models of Computer Systems
Sur certains procédés itératifs non linéaires de résolution de systèmes d'équations du premier degré
Pseudo-Ternary Coding to Incorporate checking without a Parity
A modular operating system
In Support of Children: Research on Learning with Computers
Generation of Program-Preparation Systems for Formatted Programming Languages
Schema Change Propagation in Object-Oriented Databases
Experience with a Computer-Assisted Training System
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic
Design Description Languages for the Design of Predictability Dependable Real-Time Systems
Some Considerations of a Data Base Organization for a "MIS" at Enfield College of Technology
Performance of Distributed Multi-Access Computer-Communication Systems
Interprocess Communication in Distributed Systems: One View
Toward Integrated MIS
The Wonders of the Digital Envelope - A Crash Course in Modern Cryptography
Prescription Order Service in Kanto Teishin Hospital Information System
Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective
On Being Creative with Computer Aided Design
Kissin' Cousins: New Science and New Art
Numerical Methods and Computer Applications in Meteorology
System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case Study
The Testing of Protocols in SNA Products - An Overview
Code SCheduling Via Time Model
Artificial Intelligence and Simulation of Manufacturing Systems
On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future?
Efficacy of Ethics Codes for Computer Professionals (panel)
A Conceptual Framework for Security Systems: The Action-Entity Model
Managers Versus Monitors
Program Organization and Record Keeping for Dynamic Storage Allocation
Concurrency in Hashed File Access
Office Technology and User Satisfaction: An Improvement Programme
Linear Programming on Transputers
Supercomputing in the 1990's
Reducing Society's Vulnerability as Computers and Networks Proliferate
A Multicast Routing Protocol with Multiple QoS Constraints
Recent Advances in the Numerical Solution of the Boltzmann Equation
Performance Issues in Multicomputer Architectures with Recirculation of Heterogeneous Information Flows
A System of Programs for the Synthesis of Switching Circuits Using the Method of Disjoint Stars
Prerequisites, effects and opportunities of Internet-distributed software development
Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented Information Retrieval
Discrete Online and Real-Time Optimization
Mobile Computing and Communication
Performance of Telecommunication Systems: State of the Art
Software design and development of multimodal interaction
The Future of Logic Programming (Invited Paper)
FORTRAN for the 1980s
Decentralized Computing Environment for Agent-Oriented Programming
On Semantic Levels in Programming
Group Communication Protocols and a Framework for Intrusion-Tolerant Distributed Applications
Performance Evaluation of a Line of ON/OFF Routers Using an Aggregation Method
On the Necessity of Mobile Information Processing in Hospitals
Designing Database Applications in Logic Programming
Distributed, Interoperable Workflow Support for Electronic Commerce
Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers
Parallel Algorithms for Adaptive Quadrature - Convergence
Operational Safety Critical Software Methods in Railways
Computation of Solutions to the Inverse Problem of Electrocardiography
Communication networks to serve rapid-response computers
Synthesis of the Optimum Forms of Engineering Constructions (technical designs) and Their Elements by Means of Computers
An Outline of BDGEN: A Deductive DBMS
A Very Fast Array Processor and the Architecture of a Parallel Computer BJ
Why We Should Learn Not To Depend Too Much Upon Software
Supporting Flexible and Efficient Tool Integration
The Role of Interpolation and Approximation Theory in Variational and Projectional Methods for Solving Partial Differential Equations
A Multiple Spanning Tree Protocol in Bridged LANs
SPARTA, a procedure oriented programming language for the manipulation of arbitrary line drawings
Basic concepts of abstract interpretation
Requirements Collection and Analysis in Information Systems Design (Invited Paper)
An Interactive Approach to Airline Route-Frequency Planning
The Design and Implementation of Real-Time Systems in Urban and Suburban Transportation
Symposium on Artificial Intelligence
Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter Objectives
XSCOPE: A Debugging and Performance Toll for X11
A High-Level Minicomputer
Simualtion of Patterns of Nature by Computer Graphics
A Simulation Study to Determine the Importance of Load Balancing Algorithms for Loosely-Coupled Distributed Systems
On Problems, Requirements and Solution Approaches when Supporting Knowledge Intensive Processes in Industry
An electronic voting scheme
The Japanese Word Processor JW-10
Storage Characteristics and Methods for Searching and Addressing
Parallel Functional Languages Should be Strict
Knowledge Base Property Combinator Logic
Multiple Format Search and Rescue Robot as a Competitive Arena
Micropower: The Use of Computers in Pre-College Education
A New Algorithm for Selecting the Median, Two Quartiles, Minimum and Maximum of a Set of Numbers
Optimal Code Generation for Machines with Different Types of Instructions
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference
Transmission control in a local data network
Structured Finite State Automata - A new approach for modelling distributed communications systems
The TRain Topical Day - A foreword
Supporting Multiple Perspectives on 3D Museum Artefacts through Interoperable Annotations
Some Recent Process in Sensor-Based Motion Planning
The Factual Approach to Long-range ADP Planning
Panel on Priority Problems in Computer Systems
Modulus K Check Digits and the Chromatic Number Problem
Dependency Structures of Data Base Relationships
Semantic Support for Work in Organizations
A New Approach to Integrity of Digital Images
Performance Measurements of the MU5 Primary Instruction Pipeline
Programming a robot
The Implications of Star Computing Networks
Basic Research and Technology Development: An Outdated Dichotomy
Large Linear Programs
Processing of Design Specifications Using a Recursive Decision-Table Processor
Information Systems and Organization - Empirical Findings Regarding the Introduction of Computers in Manufacturing Firms
A S/360 on-line production order location and reporting system using the Information Management system (IMS)
Method Driven Programming
An Extensible Semantic Model of Data Base and Its Data language
The Categorial Data Type Approach to General-Purpose Parallel Computation
Verifying Knowledge-Based Systems Using the COVER Tool
Version Management in an Object-Oriented Database
Flight Simulation, and Advanced Application of Virtual Reality
Application of combined electrical models for the solution of heat and mass transfer problems
Engines and trains: a sophisticated assignment problem
Generation of 3-D Delaunay Meshes for Complex Geometries using Iterative Refinement
Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines
A modular programmed DDA for real-time computation
SWIM Active Memory: Architecture and Applications
System Design for Automated Time Study of Nursing
Information Systems and Earth Resources Management
IDL: Past Experience and New Ideas
Reflections on Security of Database and Datatransfer Systems in Health Care
New public management and enabling technologies
Linear Speed-Up, Information Vicinity, and Finite-State Machines
The Virtual Microprocessor - a new computer architecture
Computer Technology and Medical Costs
Development of a Hybrid System for University Research
Future Information Systems (Panel)
Incremental interactive compilation
Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design
BASYS
A Unified Approach to Compiler Theory and Construction
Experiences in Portable Mobile Application Development
The Central Control Unit of the "Atlas" Computer
Formal Design of an Abstract Machine for Constraint Logic Programming
Three decades of data integration - All problems solved?
The Networked Resource Discovery Project
POLAR - A Programming Language for Multiprocessor Systems
Comparing Binarisation Techniques for the Processing of Ancient Manuscripts
Mobile Communications: Technology, Tools Applications, Authentication and Security
Applying Event Based Analysis to Specification and Design
A multi-functional display system for processing and teaching
Zebra, a simple binary computer
R-Fuzzy Automata
Real-time Mobile EFTPOS: Challenges and Implications of a World First Application
Toward Autonomous Descriptions of Synchronization Modules
Research on automatic translation at the Harvard Computation Laboratory
Automatic modelling of compartmental systems
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper)
On the overall automation of data processing for determining the photonuclear reaction cross-section
Health Care Reform: A National Case Study
Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980
The FGCS Computing Architecture
Randomized Parallel Algorithms
Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27 - September 1, 1962
Placement of Records on Linear Storage Devices
Identifying the Main Applications of Data Communications in Western Europe
Semantics and the Foundations of Program Proving
On the surveillance and control of number range and accuracy in numerical computation
User-Kernel Reactive Threads for Java
The User Interface in Expert Systems for Real-Time Process Control: The MIP System Experience
Cross-Cultural Gender Differences in Student Self-Efficacy: The Impact of Culture
Compiler's New Role in Data Cache Prefetching
The principle of majority decision logical elements and the complexity of their circuits
Adaptive Architecture for Flexible Information Systems
Informatics and Democracy
The catalogue ordering problem
A variable-step, variable-order multistep method for the numerical solution of ordinary differential equations
An Application of a Component by Component Splitting up Scheme to the Hamilton-Jacobi Equation
Multimedia and Multi-party Desktop Conference System (MERMAID) as Groupware Platform
Packet Network Design-The Third Generation
How Specialists Perceive the Impact of Computers on Society
Impact of the Electronic Mail on Teaching of Computer Programming
The Basis-element Algorithm for Finite Difference Schemes
The Models and the Integrated Infrastructure of CIM-OSA
On the Optimality of Elia's Algorithm for Performing Best-Match Searches
Educating the Programmer: Notation, Proofs and the Development of Programs
Introductory Speech
Technology Evaluation for E-Commerce
An Accurate, High Speed Implementation of Division by the Quasi-Unity Divisor Method
Global Environmental Change Data and Modelling
Hardware Organization of a Low Level Parallel Processor
Reasoning Techniques (Panel)
The Performance of Some Algol Systems
Sensitivity Analysis On-line with a Conversational Dynamic Programming System
ALT-J/E, a Japanese to English Machine Translation System for Communication with Translation
Building Tool Suite for AADL
Random Context Languages
A Debugging Machine - An Approach to an Adaptive Computer
Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms
A Constructive Programming Logic
Object Oriented System Architecture and Strategies for the Exchange of Structured Multimedia Data with Mobile Hosts
An Architectural Disgn of a Highly Parallel Dataflow Machine
Computers and Education: A Remote Learning Application
Conditions for the existence of diagnostic tests for complex systems
Computational Learning of Semantic Lexical Relations for the Generation and Automatical Analysis of Content
Two Human-Centered Approaches to Health Informatics: Cognitive Systems Engineering and Usability
Past and Present View on Computer Architecture
Basic Operations on Information as a Basis for Data Base Design
A Portable Data Logger for Severe Environments
Machine-Made Puzzles and Hand-Made Puzzles
Cost-Estimation in the Design Process within a CIM-Systems Environment
Problems of Plating-Line Scheduling
Towards Practical Knowledge Representation Systems
The Impact of Database Technology on Business Systems
The Role of Modeling and Evaluation in the Design Process
The Theory and Practice of A Formal Method: NewCoRe
Facilitating Citizenship
Techno-crime and Terror against Tomorrow's Organisations: What About Cyberpunks?
Selected Measurements of the PDP-10 Tops-10 Timesharing Operating System
Symposium on automatic programming
Improving Efficiency of XPath-Based XML Querying
Resource Discovery Protocol for Mobile Computing
Theoretical Approaches in Computer Aided Design (CAD) (Invited Paper)
Specifying the Underlying Control Structures of Programming Languages in their Denotational Semantics
ACCEL: A Concurrent Class Extension Language
An integrated production management system
Loose Specification and Its Semantics
Information Technology Usage and Industry in Developing Countries
The Control Model for a Knowledge-Based Approach to VLSI Compaction Design
Perspectives on Home-Oriented Informatics and Telematics
Roles of robots in human society: Challenges and case studies
Towards a Viable Computer Industry in Developing Nations: The West Bank Case
Requirements on a Language for Logical Data Processing
Measurement and Modeling of Computer System Failures
Programme System for Social Choice under Fuzzy Managing
Hidden Safety Requirements in Large-Scale Systems
Iterative Calculations via the Block-Oriented Simulation Languages
Business Problems in Planning of International Data Communications Networks
Data Processing in English Banks
Deploying QoS Contracts in the Architectural Level
The Design and Analysis of Geometric Algorithms
Single-Language Small-Processor Systems
Self-Modifying Finite Automata
Sympathetically programmed computers
On a 'Buzzword': Hierarchical Structure
The Use of Precise Specification in the Development of Software
IS outsourcing by public sector organisations
Computers in the 1980s - Trends in Hardware Technology
Partial Evaluation for Program Speedups
Including Expert System Capabilities in Object-Oriented Application Management
A brief discussion of a method for automatic rezoning in the numerical calculation of two-dimensional Lagrangian hydrodynamics
A decision procedure based on the resolution method
A Perspective on Social Responsibility for the Computing Community