yusuke1997/dblp-id-title huggingface dataset:
Open Systems Management - The Implications for Distributed Processing Architecture
Restricted Causal Inference
Some aspects of the EGDON 3 operating system for the KDF9
Implementation of Privacy Protection Requirements
Met-Watch: A Technique for Processing and Scanning Meteorological Data with a Digital Computer
Top-Down Optimization in Multi-Level Data Base Systems
Better Professionals for the Tools
A Program Verifier for Pascal
Star-Ring: A Computer Intercommunication and I/O System
Network Interconnection and Gateways
RT-CDL: A Real Time Design Language and Its Semantics
A Computerized Management Information System for Human Blood Utilization
Faster Algorithms for Hard Problems
Medical Requirements for Data Protection
Two empirical studies of program production
A System for Managing Image Data
Development of a Tracking and Data Acquisition System for Spacecraft
Constructive Mathematics and Automatic Program Writers
PROMENADE - an interactive graphics pattern-recognition system
The Impact of Information Processing on Mankind
Internet Interconnection Economic Model and its Analysis: Peering and Settlement
Shell and Interfaces with DBMSs
A Language for Writing Problem-Solving Programs
Voxel-Based Architecture for Three-Dimensional Graphics
Learning and Cooperative Multimodal Humanoid Robots
A General Approach to the Problem of Interleaved Memory Reconfigurations
Application of a time-shared computer to the appointment system of a hospital outpatient department
Reusing formal models - Domain capitalization via formalization
AI and Programming Languages - Response
Inaugural addresses
Better Education - Different Tools
On the Realization of Arbitrary Switching Functions with a Linear Number of Tests
Virtual prototyping based development and marketing of future consumer electronics products
Design of dynamically checked computers
A Very Small Electronic Digital Computer with Stored Program Control
On formula manipulation connected with computer design
Agent Skills and their Roles in Mobile and Personal Communications
The Graphics Supercomputer: A New Class of Computer
The Impact of Education in Computing on Science
Theoretical and experimental studies on the accumulation of error in the numerical solution of initial value problems for systems of ordinary differential equations
Co-Explainer: A Machine-Learning Companion
A Compression Method for Compiler Precedence Tables
An intelligent model for road traffic management in the motorway network around Barcelona
Development of a system simulator for a railway marshalling yard
Design of a Component Deployment Service for Dynamic Collaborative Sessions
An Adaptive Browsing System Based on Rules for Object-Oriented Databases
A Voice Input Facility for Digital Computers
The Architectures in the Fifth Generation Computers
Colloque sur l'analyse numérique sur calculatrices automatiques
KSM: An Environment for Knowledge Oriented Design of Applications Using Structured Knowledge Architectures
Quasi-analogue discrete simulating media
Abstractions for Fault Tolerance in Distributed Systems (Invited Paper)
On Some Methods for Computing the Roots of Polynominals
Novel Aspects of Logic Programming in New Generation Applications
VDM From Research to Practice - Response
Mass-Informatics and Their Implication for Everyday Life
GeSEM: A Model for Software Engineering Activities
Regular Tree Expressions and Behaviors of Functional Nets
Numerical solution of the minimal surface equation by block nonlinear successive overrelaxation
Management use of displays in critical path analysis
Towards robot companions
The European Position on Software Factories
Operating Systems: The Problems of Performance and Reliability
On the Structure of Multiprocessor Systems
Programmed Control of Multi-Computer Systems
Information Security Sharing of Networked Medical Organizations: Case Study of Remote Diagnostic Imaging
Business Finder - A Tool for Regional Networking among Organizations
An Expert System for Diagnosing Faults in a Chocolate Factory
Aircrew scheduling by integer programming
A Multiprocessor - CYBA-M
A Linker Allowing Hierarchic Composition of Programs
CHEMAST: A Computer Program for Modelling Molecular Structures
The Routing Certification System
Maximizing Seller's Profit for Electronic Commerce
A Computer-based Pronunciation-hearing Test System Using a Hybrid Magnetic Tape Unit
An Application of Case-Based Reasoning for Fault Restoration Support in Electric Power Systems
Some Unresolved Issues for Computers in Continuing Education
Analysis on Data Captured by the Barcode Medication Administration System with PDA for Reducing Medical Error at Point of Care in Japanese Red Cross Kochi Hospital
An Example of Software System Debugging
Alphabetic and Numeric Data Processing: A View from the Humanities
TVLA: A system for generating abstract interpreters
Developments in Mobile Data System Technology - particularly GSM
Toward Interactive Design of Correct Programs
STARLET: An Unothodox Concept of a String/Array Computer
H-BSP - A General Purpose Parallel Computing Environment
Homelink: A Project to Investigate Computer and Communications Technology Requirements in the Home Environment
VADILOC - A Protocol Validator and Its Applications
An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph
Information Technologies in the Brazilian Service Sector: Diffusion and Impacts on Competitiveness
Labour, Consumption, Data Processing and the Future
Production Palnning and Scheduling in CIM
Design of Optimal Merge on Direct Access Devices
The Design and Implementaion of a Magnetic-Bubble Database Machine
Organization Based Structure of Financial Planning and Control System
On Instrumentation Facilities in Programming Languages
Towards Information Autonomy in Education. A Qualitative Approach
Security Requirements for Mobile Agents in Electronic Markets
Error Analysis in Computing
A Portable Coroutine System
Mathematical Analysis of Merge-Sorting Techniques
Cultural Computing - How to Investigate a Form of Unconscious User Experiences in Mixed Realities
An Efficient Public Key Distribution System
An Object-Oriented Conceptal Model for Information Systems
Proofs as Advanced and Powerful Tool
Calculating Machines in China and Europe in the 17th Century - The Western View
Temporary Storage of Derived Relations for Efficient Use of DBMS in Computer Integrated Manufacturing Systems
Vulnerability of Computer Systems: Establishing Organizational Accountability
Some problems of formal language theory and its applications
Parallel Architectures in ESPRIT
LPA Programming, a New Tool for Education
Data Structure Programming System
Data Administration - The Need for a New Function
Decomposition of Boolean functions. Properties relative to the intermediate function
Evolving Algebras and Partial Evaluation
The Intermediate Language for Pictures
Another Face of Computing-Service to the Blind
Symposium on Multi-Programming (Concurrent Programs)
Replication-Support for Advanced Mobile Applications
Some Comments on Research and Development of Information Processing in China
Fractals: A New Challenge to Model Reality
MAN5: A Multivendor Network Management Tool
A Learning Environment as a Response to Challenges in Computer and Communications Education
Theoretical Analyses of Data Communications Integrated into Cordless Vioce Channels
A Communications Oriented Multitasking System
The Development of Computer Education in Ukrainian Higher Technical Schools
Experience with Scrapbook, a Non-Formatted Data Base System
Automatic Translation of Programs from one Computer to Another
Personal Computers and Intelligent Systems - Information Processing '92, Volume 3, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
Coordination support for CSCW-systems in concurrent engineering environments
Optimum digital operators
And-Or Graphs and Critical Paths
A View of Computer Science Education
Scattered context grammars
Recovery Algorithms for Database Systems
Information System Design and Design of Work and Organization (Position Paper)
SEPIA - An Extendible Prolog System
An Interactive Geometrical Design System with Handwriting Input
A (Truly) Usable and Portable Compiler Writing System
Scope Conserving Expression Evaluation
Digital Filters with Threshold Elements
"Synthesis" - A Reuse/Prototyping Process for Software Development
Temporal Algebraic Specification of an Industrial Information System
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest
The Visual Programmers Workbench (Extended Abstract)
Basic control procedures for digital data transmission
Error Bounds in QR and Jacobi Algorithms Applied to Hermitian or Normal Matrices
Concurrent Algorithms and Data Types Animation over the Internet
On the Design, Implementation and Use of the Systems Programming Language XCY
ZIP - A Computational System
Les polynômes d'interpolation de matrices carrées à coefficients matriciels et les méthodes itératives de résolution numérique des équations de matrices carrées de forme quelconque
Decentralized Control of Large Dynamic Systems and a New Class of Associated Optimization
The numerical system of residual classes in mathematical machines
Control Nets for Parallel Processing
Applications of PRAMs in Telecommunications
Measurement of Programming Improvement Algorithms
Panel Position Statement for Track 11 Computer and Society
Net Theory and Application (Invited Paper)
The automatic integration of stiff ordinary differential equations
Integrated Traffic Management
Toward Inductive Inference Automata
Specifying Dynamic Reat-Time Systems in CRP
On Basic Parallel Language
Towards a Mathematical Science of Computation
A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes Equations
Entertainment and Its Future
Multidimensional Catalogs for Systematic Exploration of Component-Based Design Spaces
About the Role of Computers to Bridge Gaps in Music
Transfer of Information Technology to a Developing Environment: The Turkish Case
Levels of Database Description
A Discrete Numerical Approach to Fluid Dynamics
Research Advances in Middleware for Distributed Systems
Educational Software - Some Solutions and Prospects
The Role of Syntactic Models in Picture Processing
Quality of Service in Information Networks
Technology Transition of Software Engineering Innovations: Experiences in the Field
Rational approximations for transcendental functions
Multidimensional Array Accessing in the MU5 Computer
Open source in dependable systems: Current and future business models
Strategic Directions in Software Engineering: Past, Present, and Future
Practical Minimization of LR(k) Parser Tables
On the Convergence Behaviour of Some Minimization Algorithms
Symposium on Data Reduction
The Transputer and OCCAM(TM) (Invited Paper)
The Method of Sequential Analysis of Variants for Determination of Optimal Solutions
A Thesaurus for a Parliamentary Information System
On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract)
PL4 - A Low Level Language with Class
Redundancy and Robustness in Memory Protection
Report on a general problem-solving program
Dependability and its threats - A taxonomy
Using Metaphors to Enhance Intelligence in Information Systems: Rationale for an Alternative to Rule-Based Intelligence
Certain analytic results for time-shared processors
User Interface Design in the Smalltalk Computing System (Abstract)
An Axiomatic Approach to Canonical Derivations
PCS: a CASE tool for distributed group software development
Communication Support for Distributed Systems: OSI verus Special Protocols
The Encouragement of Effective Computer Use in Developing Countries
Logical, recursive and operator methods for the analysis and synthesis of automata
On Hardware Algorithms for Geometrical Computation Problems
A Path Planning Algorithm for Three Link Manipulator
Plastic neurons as memory elements
Communication as a Crucial Element for Enterprise Architecture Management in Virtual Organization
Soft Typography
University Computer Services: A Third World Experience
Fractals, Chaos and Approximation
Migrating Objects in Electronic Commerce Applications
The Control of Traffic Signals with an Electronic Computer - A New Application of Real-Time Data Processing
Environmental Protection as a Challenge to Applied Informatics - A Workshop Introduction
Placement of Records in a File and File Allocation in a Computer
On the Efficiency of Some List Marketing Algorithms
What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems?
A semigroup theory for the Maitra cascade
The Heuristic DENDRAL Program for Explaining Empirical Data
An Expert System for Computer Aided Mechanical Design
A Tool for Structured Program Development
Self-Synchronized Combinational Circuits
The Dynamic Screen - Beyond the Limits of Traditional Graphic User Interfaces
Hierarchal Structures in Controlled Dynamic Systems: Concepts and Prospects
Non Deterministic Programs: An Algebraic Overview
Parallel Simulation of Air Pollution
The Use of Computers in Research on Machine Translation
An Automated Programming System to Facilitate the Development of Quality Mathematical Software
Theoretical Impediments to Artificial Intelligence
Digital Computer Usage in Analysis of Electroencephalograph and Similar Quasi-Rhythmic Patterns
Who is in Control?
A Unified Method for Processing Polyhedra
An Integrated Framework for User-Driven Interactive Application Development
Generation of Secure Passwords by the User
Interactivity in Games: The Player's Engagement
Point Sequences Generated by Two-Dimensional Recurrences
A Parallel Mechanism for Recognizing Silhouettes
Distributed Traffic-Monitoring and Evaluation by Means of a Client-Server Architecture
A numerical method for some ordinary differential equations with large Lipschitz constants
Automatic construction of the solutions of some problems of mathematical physics by electronic computers
A new type of fourth generation language for multimedia databases: Kasuga Script
ROSALIE: A C.A.D. Object-Oriented and Rule-Based System
Context-aware fun and games with Bluetooth
Core storage as a slave memory for disk storage devices
Intelligent Communication of Product Definition Data
Trends in Environmental Information Processing
Programming generality, parallelism and computer architecture
Programmin Language Standards: Not Language Definitions, but Specifications of Software Engineering Tools
Implementation of Security Functions into File Transfer, Access and Management Protocol
Personal Assistance Systems for Professionals, Illustrated by EIS
Initiatives towards Science and Technology Cooperation with Developing Countries in the Field of Information Technologies
Simulation Studies of an Isarithmically Controlled Store and Forward Data Communication Network
Conputer-Generated Semantics Displays
Trends and Developments in Computer-Aided Design
Realization of a general game-playing program
Keynote paper: Trends of flat displays in the multimedia age
A Process-Object Centered View of Software Environment Architecture
Sales management information retrieval
ATV: An Efficient Method for Constructing a Certification Path
On a Graphical Package for Nonlinear Partial Differential Equation Problems
Process Constructors and Interpretations (Invited Paper)
Modern techniques for data communication over telephone channels
Design, Implementation, and Validation of Secure Communications Systems
Tracking Humans
Flowgraphs and their Generating Functions
Trends in User-Oriented Software within the U.K. Central Electricity Generating Board
Managing End-User Computing: A Systematic View
Test and Design-for-Test of Mixed-Signal Integrated Circuits
A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean Functions
Experimenting with Information Management by Individuals in a University Environment
A demand-Driven Approach to National Informatics Policy
Realizations of Two Dimensional Recursive Filters
Seven Claims on Market-Driven Research and Development, Position Paper for the Panel: The Impact of IT Research on Industry
Experimental Implementation of Robust and Intelligent Controllers in Trajectory Control of Industrial SCARA Robot
A personal financial planning system for everyday use?
Trends of Flat Displays in the Multimedia Age
A Method for Using Computers in Information Classification
Legal Control of IT Misuse: The Limited Relevance of the Criminal Law
Optimal Disturbance Control within the Management Information System
Surveying Software Tools for a Method Driven Environment
Information Distribution Aspects of Design Methodology
Railway Traffic Control System
Panel on Ultra-High-Speed Computers
Compile and Runtime Padding: An Approach to Realising Synchronous MIMD Execution
On the Calculation of Fourier Integrals
MILXView: A Medical Imaging, Analysis and Visualization Platform
A Cooperative Support System Based on Multiplicity of Task
The software crisis, some thoughts and outlooks
Assessing the Power of an Order Code
Panel on Semantics and Syntactics
Digital Computers, Mathematical Logic and Principal Limitations of Computability
Toward an Open Systems Architecture
Dimensioning Company Intranets for IT Bandwidth
Medicare-Grid: New Trends on the Development of E-Health System Based on Grid Technology
Colloque sur les relations du calcul analogique et du calcul arithmétique
Stabilizing linear least squares problems
A Knowledge-Based Literature Guide System - A NEw Approach to Document Retrieval
Linear Checking Equations and Error-Correcting Capability for Computation Channels
Image Analysis of Experimental Data in Turbulence
Information-theoretic aspects of character reading
An Interactive Supporting System for Functional Recursive Programming
Physical characteristics of cryogenic components
Impact of Algorithms on New Computer Architecture (Invited Paper)
Real Time Programming: Special Purpose or General Purpose Languages
Producing Tests for Implementations of OSI Protocols
VTM: A Graph Editor for Large Trees
Modelling a Drum in a Queueing Network
Practical Vectorization Techniques for the "Facom VP"
A curriculum in computer science, oriented toward computer design
How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic
Mathematical Methods in the Study of Neural Systems
Information and Organization Policies in Public Administration
SSP: A Simple Software Process for Small-Size Software Development Projects
Practical Specification Techniques for Control-Oriented Systems
Asynchronous Polycyclic Architecture: An Overview
Toward A Problem Solving Approach To Software Technology Transition
MLMA-A Collision-Free Multi-Access Method
Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine
AccessNova: broadband networks and multimedia services experiments
Automated Label Inspection Apparatus
Vislink: breaking the communication bottlenecks
Computing Inspiration: i.plot
ISDN for Multimedia Workstations
Academic Computing Centers as Strategic University Resources
Electronic Message Handling for the '90s - Response
Concurrently operating computer systems
Integrated Optimization - Simulation System for Industry and Regional Planning
Progress Trends and Perspective of VLSI Technology
A model of co-ordination support for unanticipated situations
Animation within Mobile Multimedia On-Line Services
Validation Problems in Pattern Recognition Study of a Particular Case
The possibility of speeding up computers using parametrons
Invariant Subspace Perturbations for a Non-normal Matrix
IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile
Human-Centered Automation: A Matter of Agent Design and Cognitive Function Allocation
Optimal Fixed Message Block Size for Computer Communications
The Working Process and Time Efficiency of Patient Transportation in Cardiovascular Hospital Using Time Process Modeling
A Contribution to the Problem of the Optimization of Programs
Lines, Curves, and the Characterization of Shape
Impact of OSI on the Architecture of the Design of Application Processes
Co-Operative Recovery From Faults in Distributed Programs
Opening the Can: Public Interaction with Ready-Made Contents
The Use of Elliptic Curves in Smart Cards
Out of the Ivory Tower: Preparing Researchers for Tomorrows World
Applying AI for Developemnt of CIM Software
Formal Methods For Design
Decision Support in Policy Analysis: A Challenge for Newly Democratizing Countries
An On-Line Classification Approach of Visitors' Movements in 3D Virtual Museums
Digital Disability - An Examination Into The Effectiveness of Multi-Modal Interfaces for People With Disabilities
Hardware Industry In Brazil
An Internet of Things Based Platform for Real-Time Management of Energy Consumption in Water Resource Recovery Facilities
A User Interface Design Assistant Approach
Analysis of Non-linear Systems Defined by Their Response to Arbitrary Disturbances
User services in BPAFrame, a framework for workflow-management-systems
Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process
An Algorithm for Finding the Diameter of a Graph
Information Processing and Knowledge Formation in Complex Bureaucratic Structures: An Instrumental Approach
Courseware to Help Readers Trace the Ties in Text as an Aid to Comprehension
Computer-Related Attitudes and Self-Image as a Function of Students' Age
Universal Relation Interfaces for Database Systems
SunPro: Engineering a Pratical Program Development Environment
Personal Computaion and Personal Meanings
Computer Generated Optical Elements: Kinoform Filters
Looking for Culture in Video Games: Three Conceptual Approaches
Recurrences in Vector Mode: Recursive (Cyclic) Reduction and recursive Doubling
Utopia? Or Chaos? How Should We Control Technology Development?
Dual digital computer control system for the Gentilly Nuclear Power Station
Refinements of Generic Specifications with Algebraic Tools
Simulation Structures and SETL
KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation
National High-Tech Policy: The US Dilemma
Applications of Kendall's Ordinal Discriminat Analysis Method to Two Medical Classification Problems
<Eletronic Trust> and the Role of Law: A European Perspective
Organizational, financial and political aspects of a three-university computing center
Computing the Frequency of a Sampled Sinusoidal Function
Algol 68 Implementation
Fault-Tolerant Microcomputer Design and Application for Railway Train Control
Formal View on Schema-Subschema Correspondence
Knowledge Artifacts as Bridges between Theory and Practice: The Clinical Pathway Case
Design of a Multiprocessor Relational Database System
A Cooperative, Natural Language Enviromental Information Systems
Software Fault Tolerance
Support services for business networking
Enrichment of Semantic Network for Requirements Expressed in Natural Language
A New Reconfigurable Architecture with Applications to IoT and Mobile Computing
Modular Microprogrammed Logical Units (ULM)
Magnetic Bubble Memory Structures for Efficient Sorting and Searching
Programming with Mathematical Thinking
A Community of Knowledge Management Practitioners: Mirroring Power across Social Worlds
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets
A finite state transducer model for compiler lexical scanners
A Flexible Architekture for Protocol Studies in a Multi-Network Environment
An Optimistic Algorithm for Concurrent Accesses to a Single Replicated File
Nouvelle méthode de calcul du Dispatching Economique d'un réseau de transport d'enérgie
Constructing Priority Queues and Deques Optimally in Parallel
Specification and Verification of Network Protocols Using Executable Temporal Logic
Design of Low-Cost General-Purpose Self-Diagnosing Computers
Decentralised Control Flow Programming
Requirements for a Test Specification Language for Protocol Implementation Testing
A Generalization of the Maximal Closure of a Digraph
FALCON - A Conversational Polyalgorithm for Ordinary Differential Equation Problems
Symposium on the logical organization of very small computers
What We Need for an Information Society