yusuke1997/dblp-id-title huggingface dataset:
Beyond Programming-in-the-Large: The Next Challenges for Software Engineering
State-of-the-art and Trends of Computer-Aided Innovation Tools - Towards the integration within the Product Development Cycle
Improving Program Locality by Strategy-Oriented Restructuring
Is Application Development Focused on Real Problems?
The Construction of Class-Teacher Time-Tables
The PLIB ontology-based approach to data integration
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language)
SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics
The Future of Information Technologies for Health Care in Developing Countries: An Examination of Some Problems
The Control of Data Processing Costs by the Computer User
Design Methods for Human-Computer Interfaces
Shape Grammars and the Generative Specification of Painting and Sculpture
Hardware/Software Considerations in the AD/Four Electronic Patched Hybrid Computer
An IFIP Code of Ethics - Some of the Issues Involved
Understanding and guiding requirements engineering processes
CUPID: A Protocol Development Environment
Position Statement for Panel 1: Frontiers in Computing
Performance Evaluation and Improvement of a Dynamically Microprogrammable Computer with Low-Level Parallelism
Symposium on Fast Memory Technology
Early validation of requirements - A Case Study Using Formal Methods
Top-down versus bottom-up analysis
First Steps Towards Inferential Programming
A Grammatical Approach to Data Bases
Architectural challenges for a dependable Information Society
A Data Base Approach to System Architecture
Algorithms for Some String Matching Problems Arising in Molecular Genetics
On the Compilation of a Domain-Based Prolog
The behaviour of subharmonics in a non-linear system and its application to binary storage devices
Cheap Deforestation in Practice: An Optimizer for Haskell
A Basic Language Oriented to Secondary School
Strategies for Exploiting the Global Software Market: Indian Experience
On the Use of Syntax in a Low Cost Real Time Speech Recognition System
Can Office Technology Support Office Dialogues?
SECSI: An Expert System Approach to Database Design
Some Approaches to Parallel Implementaions of Prolog
3D Geometric and Haptic Modeling of Hand-Woven Textile Artifacts
Methodologies for Computer Engineering (Panel)
Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis
Measuring Software Operational Reliability: An Interdisciplinary Modelling Approach
Digital construction of holograms
Cache with Synchronization Mechanism
Super Database Computers: Hardward and Software Solutions for Efficient Processing of Very Large Databases (Invited Paper)
Numerical Methods for Variational Inequalities Applications in Physics and in Control Theory
PCDB - A Procedure Generator for a Predicate Calculus Data Base
Frontiers in Computing: Computing as a Simulation of Physical Systems
Parallel Image-Processing Algorithms in a Virtual-Memory-Efficient Environment
Polynomial Algorithms for the k-Chinese Postman Problem
Problems of Software Development in Developing Countries
Information Systems in the Small - Response
A computer memory using magnetic film
Legal Apects of Data Security
An Order and Charge System for Some Bakeries in the United Kingdom
Developing Reasoning Skills in College Freshman Using Computer Programming, Collaborative Problem Solving and Writing
From the University of Illinois via JPL and UCLA to Vytautas Magnus University - 50 years of computer engineering by Algirdas Avizienis
Integrating Social Impact and Ethics Issues Across the Computer Science Curriculum
Example of Transformation of a Derivation Tree for an Expression by Semantic Attributes
Techniques for Compiling and Executing Dataflow Graphs
Specification and Development of Reactive Systems (Invited Paper)
A new method for the integration of stiff systems of ordinary differential equations
Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers
Can Software Faults be Tolerated? (Position Statement)
Global Governance of the Technological Revolution
Symposium on methods for solving linear systems
Should we Invest in Intellectual Elegance or Computer Power? Position Paper for the Panel: The Impact of IT Research on Industry
A Theory of Syntactic Monoids for Context-Free Languages
Abstractions for Fault-Tolerance
Algorithms for Minimizing Mean Flow Time
A Reference Model for Command and Response Languages
Fundamentals - Foundations of Computer Science, IFIP World Computer Congress 1998, August 31 - September 4, 1998, Vienna/Austria and Budapest/Hungary
Computer-generated image algebras
Inclusive Symbolic Environments
New Intellectual Software for Statistical Informatics Education and Research
A Calculus of Adaptive Purpose Parallel Computation
Geoprocessor: A Computer for Geophysical Research
An ADL Centric Approach for the Formal Design of Real-Time Systems
Report on the 1989 Software CAD Database Workshop
Distributed Garbage Collection for the Parallel Inference Machine PIE64
Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language
Environments for the Development of Specifications (Panel)
Structured Hypertext Applied to Software Measurement
A Scheme for Representing Descriptors as Data
GARDEN Tools: Support fpr Graphical Programming
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel)
Impact of Computers on Education: A Response
Adding Type Declarations to Interlisp
Expectations of Standardization
Zero-Knowledge Based Identification: From a Theoretical Concept Towards a Practical Token
A New Approach for Risk Analysis and Control - The UK Experience
Analysis of Human and System Factors on Errors in ICD Coding with Electronic Discharge Summary System
Informatics in a Developing World - Response
CIM - The Future Technology - Response
Preliminary ideas concerning an automatic computation of "qualities"
On mildly nonlinear elliptic boundary value problems
System Support and Applications for Mobile Computing
Reflections on Social Impacts of Information Technology Business Social Structures and Personality: A Critical Theory Orientation
A Computer System for the Synthesis of Reinforced Concrete Frames
A file organization evaluation model (FOREM)
Algol 68-R, Its Implementation and Use
Building a 3D Meshing Framework Using Good Software Engineering Practices
Transaction Management in the Distributed Database System VDN
Wrapping the future
On the Design of Local Network Interfaces
Pragmatic Aspects of Complexity Theory (Panel)
Mechanical vectorization of Multiply Nestzed DO Loops by Vector Indirect Addressing
EDACT - Engineering Drawings to Automatic Control Tapes
A User's View of Hardware Performance Monitors, or How to Get More Computer for Your Dollar
Comparison of Concurrency Control Methods Using Analytic Models
Which LAN in the Factory (Panel)
Hierarchical Composition and Abstraction in Architecture Models
Overcoming Disabilities with Information Technology: An International Survey
A Pragmatic Approach to Office Modeling
Issues Surrounding Software-Related Patents in the United States
Achieving Quality in University Teaching Through Information Technology: A National Objective
A National Survey of the Pedagogical Uses of Informatics in French Universities
Types and Specifications
Estimation of Errors and Derivatives in Ordinary Differential Equations
Opportunities for the Internet of Things in the Water, Sanitation and Hygiene Domain
Bio-Computing
Some Cautionary Aphorisms for User-Oriented Computer Management
The Effects of Service Time Distributions on System Performance
An Interactive Visual Canon Platform
Feasibility of a set-theoretic data structure. A general structure based on a reconstituted definition of relation
The problem of a common language, especially for scientific numeral work
An analogous method for pattern recognition by following the boundary
Analysis of the working principles of some self-adjusting systems in engineering and biology
Some Airlinge Applications of Monte-Carlo System Simulations
The "Manager-Terminal-Model" System is also a Model (Toward a Theory of Managerial Meta Models)
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research
Towards a New Dimension in Computer Based Training: Thoughts from the Retail Industry
Multiprocessor Architectures for High Speed Networks: A Performance Study
Information Processing, Proceedings of the 1st International Conference on Information Processing, UNESCO, Paris 15-20 June 1959
Pre-2000 Maturing of the Real-Time Fault-Tolerant Distributed Computing Technology
An Overview of the Polypheme Distributed Database Management System
Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986
How Far Away Are We From the First Masterpiece of Computer Art?
Design Validation Using Probe Mechanism
Computer Integrated Manufacturing: Small Can Be Beautiful
Computing in the Developing Countries of Asia
Robust Sliding Mode Control Algorithm Applied for Congestion Control in Differentiated Services Networks
Making Global Variables Beneficial
The safeguarding of information: a user's view
Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions
Global convergence of QR algorithm
Report on Interconnection Networks and Distributed Processing Projects in China
Two frameworks for task analysis: an application to the use of intelligent systems in the development of information systems
The structured development method SENN for freeforward neural networks and the application to the multimedia patient record in the Bavarian Health Net
Business Driven Product and Technology Development
Indroductory Remarks to Virtual Reality
License Plate Recognition System
The fault-hypothesis for the time-triggered architecture
The Future of Office Automation
Design of Minimal Expected Processing Time Finite-State Transducers
An Interactive Approach to Pipe Routing in Process Plants
Speech Compression: A Key to Low-Cost Telephony Systems for Developing Countries
Progress and Challenges in the Application of Decision Support Systems to Management
Non-Latin and Non-Alphabetic Scripts (Panel)
Pragmatic Interoperability: A Systematic Review of Published Definitions
Administration of Constructing an Information System
Towards "inventiveness-oriented" CAI tools
Optimization of Systolic Tree Automata
A Model for Concurrent Diagnosis in a Microprogrammable System Using a Dynamic Test Scheme
Mathematical Description and Specification of Software
UML2 as an ADL Hierarchichal Hardware Modeling
NOPAL - Automated Design and Programming of Testing
The Financial System in Hungary, Based on a Three Level Equipment Hierarcy
Protection of Databases in the International Telecommunications Environment
A microprogrammed communication control unit, the TOSBAC DN-231
OFFER: A Broker-Centered Object Framework For Electronic Requisitioning
Desirable Functionalities of Database Architectures
Position Statement for the Panel on Foundations of Software Engineering
The Numerical Treatment of Large Eigenvalue Problems
On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms
Security Issues in EDI Environment
Programmer as Reader (Invited Paper)
Software Development Environments: Research to Practice
Computational Aspects for a Control Problem
Experience with the Relational Database Model (Panel)
Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
Studies on Decision Making Using the Game of Poker
A Procedural Language for the Relational Data Base Management System "Syntex"
An Algorithm for Minimizing Convex Functions
Education and Training for Information Systems (Panel)
A User-Adaptable VLSI Engine for Artificial Intelligence
Expert Systems: Professional Tools for Data Communication? (Panel)
Implementing a very High Level Language on a very Low Cost Computer
Education and Society - Information Processing '92, Volume 2, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
Top-Down Syntax Analysis and Floyd-Evans Production Language
SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight Control
A library of subroutines for bibliographic data processing
Machine-Independent Operating Systems
The exact determination of the characteristic polynominal of a matrix
The Iso Reference Model and Other Protocol Architectures
AI and Programming Languages (Invited Paper)
Software Rejuvenation - Modeling and Analysis
A machine model of recall
An Internet of Things (IoT) Model for Optimising Downtime Management: A Smart Lighting Case Study
Personal Telecooperation Assistance
Data Processing System Performance with Arbitrary Stochastic Processes
Strategic Choices in Developing Competence in Information Technology
LOGOL and its application to computer development
From Geometric to Cognitive Maps - A Key Element for Personal Robots
Technical Document Storing and Retrieval (Invited Paper)
An Open System Architecture in Computer Integrated Manufacturing: CIM-OSA
Interaction in a sensitive house - Future room that senses human mood and respond to it
A Fuzzy Logic-Based Intelligent Tutoring System (ITS)
Trusting strangers: Open source software and security
Exposing Side-Effects in a PL/I Optimizing Compiler
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design
Legal Aspects of the Information Society
Boundary and Path Manipulations on Abstract Data Types (Extended Abstract)
Can Developing Countries Compete in Information Technology (Panel)
Computer-aided construction of school timetables
Computers and the Farsi Language-A Survey of Problem Areas
The Walkstation Project - A Flexible Platform for Experiments in Mobile Multimedia Environments
An Adaptive Data Distribution System for Mobile Environments
Logical Systems Design using PLAs and Petri Nets Programmable Handwired Systems
A Handwriting Input System for Japanese
Genetic neuro-fuzzy architectures for advanced intelligent systems
Scheduling for fast turnaround in job-at-a-time processing
Microsoft Windows for Pen Computing
Guidelines for Automatic Quadrature Routines
Optimal Gödel Numberings
Implementing Information Technology on a Campus
Three-Layer Neural Network Models for Rotated Patterns Recognition
Computable Beauty
Advanced Design for Automated Manufacture
Computer science and education
Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing Levels
Hardware and Software Dependability Evaluation: System Dependability
PMMS: A Framework and System for High Level Program Monitoring and Measuring
Informatics and Development
A graphical facility for an interactive simulation system
Integration of GIS into Decision Support Systems for Management of Ground Water
South Australian Land Information System
Towards Characteristics of Lifelong Health Records
A Uniform View of Control Structure in Programming Languages
A Formal Model of a Generalized CSP-like Language
A Support for Program Design with Abstract Machines
Semantic Harmonization for Seamless Networked Supply Chain Planning in the Future of Internet
A meta-semantic language for use with a top-down syntax analyser
Trends and Problems in Computer Organizations
Structuralism, Attitude and the Computer: Questioning the Notion of "Cultural Computing"
Group-Oriented Key Management and Authentication Methods
Image Processing to Facilitate Image Identification by Partially-sighted Observers
An Improved Iterative Scheme for Refining the Solution of Ill-Conditioned Systems
A Positive Framework for Optimizing Bank Capital
Ferrite Core Logic in All-Magnetic Technique
The Psychological Aspects of Computer Systems
Computer Generated Word Classes and Sentence Structures
Artificial Intelligence and Environmental Protection: A Survey of Selected Applications in France
Comic Layout for Automatic Comic Generation from Game Log
Composing Music and Generating Sound by Computer
Numerical Application of Stochastic Optimal Control to Inventory and Investment Problems
Automation in Software Development (Panel)
Data-Flow-Analysis in Weakly Interpreted Program-Schemes
The Evolution of VHDL
Information Structuring for Software Environments
Optimal Estimation of Bounded Linear Functionals from Noisy Data
The Computer Architect's Workbench
Logic and Computation (Panel)
Multimodality and context-aware adaptation
Functional Verification of Hard Real-Time Programs
Time sharing in large, fast computers
Nouvelle méthode pour l'integration approchée des équations differentielles
Xbar: A VLSI Circuit for Bit-sliced Packet Switching Networks
Some Aspects in the Construction of Timetables
Improving the Efficiency of High Speed Implicit Token FOLANs
Intelligent Ethics
An application framework to support information sharing in collaborative work
Component technologies for future systems
Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2 - Hardware, Applications
The principles of a data communication network for computers and remote peripherals
Microprocessor Based System Design Courses for Graduate and Undergraduate College Eduction
Education and Computers: Who is in Control?
A Fault Tolerant Distributed Termination Detection Scheme
Machine Learning (Panel)
A "Ubiquitous Environment" through Wireless Voice/Data Communication and a Fully Computerized Hospital Information System in a University Hospital
Formal Structures in an Informal World: Information Processing is Model Processing for Reality
On the Gross Architecture for the Next Generation Database Management System
Constraint Logic Programming as a New Vehicle for Knowledge Representation
Tendencies in Informatics Education from School to University
On a Structure of Operating Systems Schedulers
Computer Controlled Human Motor System Experimentation
CAD to Support CIM Applications - Response
Distributed Models for Brokerage on Electronic Commerce
Complexity of Computer Computations
On Model of Macroconveyor Computations
Key issues in digital library interoperability
Interactive Approaches to Corporate Planning and Control with Particular Reference to the use of APL
Recursive Machines and Computing Technology
Functional Programming with Streams
Linear and partial-linear realization of automata
Securing Mobile Agents
Data processing systems for physical experiments
An analog card capacity correlator as applied to OCR
Probabilistic Machines Can Use Less Running Time
Computers: Trends toward the future
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers
Non-supervised learning in adaptive statistical pattern recognition
Numerical stability in mathematical analysis
Developments in the Theory of regular Languages
Two Lower Bounds on Computational Complexity of Infinite Word Generation
Error-correcting methods in natural language processing
Planning and implementing international data networks
Is Technology Transfer the Answer?
Animating Autonomous Virtual Humans in Virtual Reality
An Analysis of Response Ratio Scheduling
A Man-Machine Speech Communication System Including Word-Based Recognition and Text-to Speech Synthesis
A Generic Intrusion Tolerant Architecture for Web Servers
No Silver Bullet - Essence and Accidents of Software Engineering (Invited Paper)
Mathematical Analysis of Algorithms
Network(er)s at Risk: The Fairy-Tale of Invulerability of Computer Supported Work
Algorithms for the Parallel Execution of Rule-Based Expert Systems
A Current C.A.I. Project: The O.P.E. System
Feasibility Experiments on Versatile Information Processing Systems
A computer program for optimal routing of printed circuit conductors
Transformations of Parallel Programs in Crystal
Reducing the Vulnerability of Women in an Information Society: Enlarging Information Systems Perspectives (Panel)
Physical Limits For Computing And Communication
The control of exceptional conditions in PL/1 object programs
An Array Processor Design for APL-Like Data Structure
A Multi-Formalism Programming Environment
Reconfigurable Software Architecture for Communication Layers in Pervasive Computing Systems
The Future of Logic Programming - Response
The Theory of Problem Solving
Scientific Computing on Bulk Synchronous Parallel Architectures
An Overview of a Natural Language-Assisted Database User Interface: ENLI
"Perfect" Pseudo-Random Number Generation
Ten Years of Local Area Networking in a University Context
Computing in High-Energy Physics: Facing a New Generation of Experiments
Design for a Ray Casting Integrated Circuit
An Interactive Aid to Project Control
Computational and Concurrency Aspects of Linear Logic
A Formal Model for Or-Parallel Execution of Logic Programs
A Managerial Decision-Making Tool - Computer Assisted Problem-Solving System (CAPSS)
Determination of the Optimum Capacity and Structure of Production Units in the Building Industry
Performance of the Page Fault Frequency Replacement Algorithm in a Multiprogramming Environment
Managing Knowledge in Urban Planning: Can Memory Support Systems Help?
Computer Science at Secondary School: Permanent Fundamentals and Adaptive Supplement
Organizing Programming Knowledge into Syntax-Directed Experts
Linear Time Simulation of Deterministic Two-Way Pushdown Automata
Multi-Micro Processor Systems (Invited Paper)
Meta Interpreters For Real - Response
A Multilingual Modular Programming System for Describing Knowledge Information Processing Systems
Programming without the Goto
Designing Concurrency Models
Developing Project Management Skills through Computer Simulation
The Development of the British, French and German Native Computer Industries, 1960 - 1978
Symposium on the logical organization of very high speed computers
Algorithms for Determining Relative Star height and Star Height
Parallel Sieve Methods for Generating Prime Numbers
Different Diagnostic Models for Multiprocessor Systems
The Myths and Illusions of Technology Transfer
Production Management Systems - Response
Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation
A Difference Method for the Approximate Solution of the Initial Value Problem for Systems of Quasi-Linear Partial Differential Equations of the First Order
EXTRAN - A Top-Down Programming System
A M.O.S.T. store
Some Perspectives on Networks-Past, Present and Future
Design and Implementation of a Time-Sharing System: A Critical Appraisal
BAL: An Aid to Scientific Programming Based upon a "Bank of Algorithms"
Operating system structures
Silicon Compilers: How Well Have They Done, and Where Are They Headed?
The BD-Tree - A New N-Dimensional Data Structure with Highly Efficient Dynamic Characteristics
System Quality Through Development Audit
Impact of Mobility in Mobile Communication Systems
Control under Incomplete Information
The Phonetic Typewriter
Cross-Cultural Perspective in Office Automation
Background Issues on the Impact of Computers in Education
The iota-Programming System - A Support System for Hieratchical and Modular Programming
Challenges in Mobile Information Systems and Services
Risk-Driven Development Of Security-Critical Systems Using UMLsec
Computer Network Interconnection
A Step towards Medical Ethics Modeling
Prognostication of Automata and Functions
The USSR Academy of Sciences Start Project
On the Equivalence Problem for Two DPDA's, One of which is Real-Time
Fundamentals of a Theory of Asynchronous Information Flow
Pattern-Based Analysis of an Embedded Real-Time System Architecture
Specification and Design of (Parallel) Programs
Input-Output cost models and their uses for financial planning and control
Centralisation and Standardisation of IT: The Security Risks and Opportunities
ACL - A Conversational Language for Audit Intelligence
An Integrated System Solution in the Diagnostics Industry by Customizing PC-Based Standard Software
Computer System Integrity Safeguards
The potential field as an aid to character recognition
Production Management Systems (Invited Paper)
An Enumerative Approach for Analyzing Time Petri Nets