yusuke1997/dblp-id-title huggingface dataset:
An Overview of CONLAN: A Formal Construction Method for Hardware Description Language
Design Automation for Large Mainframes and Supercomputers in NEC
Transformations of Programs
Knowledge Based Systems and Process Simplification
A Multiclass Network Model of a Multiprogramming Timesharing Computer System
File organization in the SDC Time-Shared Data Management System (TSMS)
Processing data in bits and pieces
The development of computer education in schools. A survey on behalf of B.C.S. Working Party 4
Automation in knowledge engineering via inductive learning
Intrusion tolerance for Internet applications
A generalized resolution principle based upon context-free grammars
MUNAP - A Two-Level Microprogrammed Multiprocessor Architecture for Nonnumeric Processing
Symposium on Advance Computer Organization
Digital Business Ecosystem Tools as Interoperability Drivers
Technology and Structure in the International Business Enterprise
On Attaining the Availability Required in Future Information Processing Systems
Paging studies made on the I.C.T. Atlas
DATAPAC - A Phased Approach to the Introduction of Public Packet-Switched Network
An Assessment of the State of the Art of Computer Based Learning Systems Design
Why Isn't There an Object-Oriented Data Model?
Parallel Algorithms for Finding the Most Vital Edge with Respect to Minimum Spanning Tree
Future Trends in the Testing
Program Development as a Social Activity (Invited Paper)
Experience with Participative Application Development
Telesensation - Distributed Interactive Virtual Reality - Overview and Prospects
Trends in Distributed Systems for Electronic Commerce, International IFIP/GI Working Conference, TREC'98, Hamburg, Germany, June 3-5, 1998, Proceedings
Symposium on Advanced Methods in Information Storage and Retrieval
Complexity Term to Generate Explicit Internal Representation in Recurrent Neural Networks
Activity-based Information Retrieval: Technology in Support of Personal Memory
Automation-Related Complacency: A Source of Vulnerability in Contemporary Organizations
Parallelism in Logic Programming
VDM From Research to Practice (Invited Paper)
Overview of Current Virtual Reality Applications
A New Algorithm for Smart Cards
Synchronous and Asynchronous Experiments on Processes
A new copyright protection scheme using the multiple RSA cryptosystems in personal cards for network shopping
The Personal Algebra Machine
Checksumming Techniques for Anti-Viral Purposes
Nationwide Teaching through a Network of Microcomputers (Invited Paper)
Support for PC/Workstation Interconnection to High Speed Data Networks
An open-source VHDL IP library with Plug&Play configuration
Evolving Winning Strategies for Nim-like Games
Caching Data over a Broadcast Channel
Position Statement on the Foundations of Software Engineering
Neural Computing
The generation and recognition properties of table languages
Programming Environments for End-Users
A multi-access implementation of an interpretive text processing language
The Idea: Integrating Authoring Concepts for Mobile Agents into an Authoring Tool for Active Multimedia Mail
The Power of Parallelism and Nondeterminism in Programming
A New Method for Deductive Answer Finding in a Question-Answering System
Partial Evaluation of Prolog Programs and its Application to Meta Programming
A Computer Training Scheme for the Disabled
A Technique for Describing High-Level Data Link Control (HDLC) Procedures
Computer Painting with Some Subjective Data
Non-Broadcast Communication Schemes for Information Dissemination
Microprogramming Experiments: A Vehicle for Understanding Comuter Architecture
Computer-Mediated Communication Systems: Dropouts versus Users
Effective Industrial Application of Formal Methods
Efficient Translation of External Input in a Dynamically Typed Language
Fast Algorithm for Rational Function Integration
African Development Through Information Technology?
ADMINS from Mark 3 to Mark 5
Towards an IFIP Frame Code of Ethics (Panel)
Fault-Tolerant Computing-Progress, Problems and Prospects
Redefining Childhood: The Computer Presence as an Experiment in Developmental Psychology
Symposium on Industrial Simulation
A propos d'un langage universel
Prokon/Plan-A Modelling Tool for Project Planning and Control
Information Technology Assessment in Developing Countries: The forgotten part of Technology Transfer
An Effective Model for Grammar Interference
A New Many-Valued Logic and its Application to Approximate Reasoning
New Components for Ferroresonant Circuits
Public Policy and Information Technology in the Developing World: Difficult Financial Options
Optimal Algorithms of Minimization in the Class of Functions with the Lipschitz Condition
Domain-Oriented design Environments
An electronic reading machine
A New Interactive Graphic Package
A Technique for File Surveillance
Pseudo-Languages and their Pre-Processors
Advanced Software Technology - Development and Introduction to Practice (Invited Paper)
Abstract Data Types, Specialization, and Program Reuse
Information Technology: Weapon of Authoritarianism or Tool of Democracy?
STREL: An Extended Relational Model for Structured Objects
A Computer Capable of Exchanging Processors for Time
Dynamic Characteristics of a Satellite Communication System Employing the Slotted Aloha Scheme
Constraining Pictures with Pictures
The Internet of Things is Hardly About Technology
Ethics, Vulnerability and Information Technology (IT)
Adaptive User Interfaces
DASS: Distributed Authentication Security Service
Deriving Partial Correctness Logics From Evolving Algebras
A Program Verifier
Design of Secure End-toEnd Protocols for Mobile Systems
Decisions in brains, machines and organisations
Computer Systems Supporting Political Planning
Automata on Infinite Words (Abstract)
Computer Uses at Lamp Department, Canadian General Electric
Semantic Relations in Programming Languages
A Recursive Algorithm for Deadlock Preemption in Computer Networks
Advanced Software Technology - Development and Introduction to Practice - Response
A Syntax-Directed Approach to the Semantics of Concurrent Languages
Integrating Systems Development and Use
On the Associative Unification of Phrases
Methods of speeding-up the operation of digital computers
Professionalism and Frameworks
Production of pipeline isometric drawings using a digital computer and an incremental plotter
Size and Speed of Thin-Magnetic-Film Computer Units
A Formal Approach to Translator Specification
Possibilities Create Demands
Electronic Mail and the Paper Society (Panel)
Architectural Concepts for High-Performance, General-Purpose Computers
On a New Use of Elementary Transformations
A computer application in musicology: the thematic index
On Some Axiomatic Systems for Formal Grammars and Languages
A Payment Scheme for Mixes Providing Anonymity
Rigorous computation and the zeros of the Riemann zeta-function
Software Factories in the USA
Unique dependability issues for commercial airplane fly by wire systems
Construction of Asynchronous Concurrent Systems from their Behavioral Specifications
An Interaction-Handling Technique for Satellite Graphics
Automatic term classification and information retrieval
Conforming Finite Element Methods for Shell Problems with Numerical Integration
Meeting Communication Technology Needs for DCs: A Case for Partnership in Technology Development
Algorithm Design and Software Libraries: Recent Developments in the LEDA Project
An Analytical Model for Upper Bounds on the Performance of Event-Driven, Hierarchical Computer Systems
A Computer Based Education System for the Blind
Anonymous Internet Communication Based on IPSec
A New Approach to Evaluating Code Generation in a Student Environment
A Global QoS Management for Wireless Network
Living in the Next Generation Operating System - Response
Customer Classes and Closed Network Models-A Solution Technique
A Microprogrammed Lexical Processor
Trends Towards Computer-Integrated Manufacturing (CIM) - Response
The AI Approach to ML and Enlarging the "ES Certification Bottleneck"
The Impact of LSI Technology on Computer Systems (Invited Paper)
A Programmable Communication Architecture Based on Kautz Networks
A Model for Teaching the Management of Information Systems & Technology
Representation and Execution of Searchers Over Large Tree-Structured Data Bases
Finsim - A Decision Support System for Financial Planning and Engineering
Defining Leadership as Process Reference Model: Translating Organizational Goals into Practice Using a Structured Leadership Approach
Optimization vs innovation in a CAE environment - Towards a "Computer Aided Inventing" Environment
CoLinK: Cooperative Knowledge Management for Engineering Teams
Issues in Implementing a Data Integration Platform for Electric Vehicles Using the Internet of Things
What is Expected of an Object-Oriented Data Model?
Security in Local Area Networks
The Development of a Conditional Probability Computer for Control Applications
Multi-Microprocessor System for Three-Dimensional Color Graphs
Performance of the System R Access Path Selection Mechanism
MOOSE: Modeling Objects in a Simulation Environment
Physiology for Man Computer Cooperation in Knowledge Processing
A Novel and Versatile Approach to Computer Hardware Education and Computer Terminal Development
Operations research: slave or master of the computer
Optimization studies for computer systems with virtual memory
X.500 Directories - Status and Prospects on the Way to World-Wide Directory Sharing
The Role of Computer Communications in Preventing the Cascade of Errors Which Occur in Industrial Disasters
New Frontiers for Entertainment Computing - IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium, ECS 2008, September 7-10, 2008, Milano, Italy
Data Bases and the Lambda-Calculus
John von Neumann: A Hungarian Born Computer Pioneer
The Multi-List System for Real-Time Storage and Retrieval
A non-heuristic program for proving elementary logical theorems
A Computational Analysis of Imagery in James Joyce's A Portrait of the Artist as a Young Man
Packet Switching in a Public Data Network
How ADLs Can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design
A Multiprogramming System for Education and Research
Machine translation methods and their application to an Anglo-Russian scheme
An empirical evaluation for business process tools
Sur certain aspects de la conception logique du Gamma 60
Finite and Combinatorial Automata. Turing Automata with a Programming Tape
Visual Resolution Processing for Interactive Graphics
A Comprehensive Method for Handling the Human Problems of Computer Introduction
A Meshing Tool Product Line Architecture
Defining Security Requirements Through Misuse Actions
Towards a Diagnostic Toolbox for Medical Communication
UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring
The Electronic Frontier: Where Personal Computing Goes From Here
Digital Image Processing for the Earth Resources Technology Satellite Data
Role of Abstraction in Program Development (Invited Paper)
Real-Time Computer Techniques for Parallel Processors
Artificial Intelligence Systems and Patents - the Challenge
Connecting the real world and virtual world through gaming
Use of Smart Cards for Security Applications by Deutsche Telekom
Precedence Diagramming and Analysis in Assembly Line-Balancing
The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture
A new method for discovering the grammars of phrase structure languages
Advanced Software Technology for Automating the Office
Software Redundancy in Real Time Systems
MOBILE: An Office Automation Methodology
Theoretical Approaches in Computer Aided Design (CAD) - Response
Modern Programming Methods and Problems and their Influence on the Design of Computing Instruments
How Useful are Virtual Worlds?
The Dynamic Clusters Method in Pattern Recognition
Blended Clustering for Health Data Mining
Competitive Distributed Decision-Making
Message Protection Features of the DATACOM Program
Multimedia Machine
A Company-Economy Interactive Approach to Sales Forecasting
Résolution sur calculateur électronique d'un problème d'algèbre diophantienne
Interprocedural Data Flow Analysis
The classification of finite number systems
The Solution of Large Sparse Unsymmetric Systems of Linear Equations
Language Design for Modular Software Construction
Toward a Persistent Object Base
One, None, A Hundred Thousand Specification Languages - Response
The "I" in CIM (Invited Paper)
The Integration of Version Control into Programming Languages
Recognition System for Handprinted Characters
On Real-Time Distributed Computing
A Logic-Per-Track Retrieval System
A Language-Adaptive Programming Environment Based on a Program Analyzer and a Structure Editor
Using Game Engines for Visualization in Scientific Applications
Auto-explanation System: Player Satisfaction in Strategy-Based Board Games
Sequential optimization in pattern recognition and pattern description
Impacts of Electronic Markets on Work
Conditions for the Algorithmic Completeness of Systems of Operations
Public Computer Systems and Areas for Societal Interaction
User and Application System Decision Coordination and Intelligent Control in Critical Situations
The specification of a cost-limited digital computer
The Virtual Factory
An LALR(k) Parser Generator
Optimization of Scientific Program in a Few-Years Plan in an Industrial Corporation
Difficulties in Achieving Security in Mobile Comminocations
Concepts, Techniques, and Models for the Process of Management
Innovative Informatics Applications in Developing Countries (Invited Paper)
Information System Design: Techniques and Software Support - Response
Programming Real-Time with Events and Data Flow
A General Overview of the Olivetti Network File System
Effectiveness of e-learning
Control, Structures and the Return Statement
A grammar-controlled pattern analyzer
The analytical design of real-time disk systems
Using Randomness to Characterize the Complexity of Computation
The Cost of Relational Algebraic Operations on Skewed Data: Estimates and Experiments
Designing and Evaluating Interfaces Using Task Models
Computer Understanding and Creativity - Response
Some Steps Towards a DBMS-based KBMS
The solution of elliptic difference equations by stationary iterative processes
Automation of the Medical Diagnostic Process
From Algorithms to Working Programs on the Use of Program Checking in LEDA
Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems
The Role of Infrastructure in the Adoption of an Immature Software Technology
Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
Computer - A Gift of Fire
A journey towards an OSS-aware organization
Automatic Vectorization of Printed Maps and Drawings
'Datalogy', the science of data and data processes
Definition of a Matrical Transformation Permitting the Discretization of a Set of Differential Equations
A Calculus for Protocol Specification and Validation
Transmission of Information between a Man-Machine Decision System and Its Environment
Four Types of Computer-Aided Analysis
Information System Design: Techniques and Software Support (Invited Paper)
Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs)
The numerical integration of ordinary differential equations
What Are Models for and Do We Want Them to Support Automation?
Error-bounds and computer arithmetic
Towards a Formal Semantics of the BS/VDM Specification Language
Specification, Implementation, and Verification of Communication Services on the Basis of CIL
A Language for the Specification and Analysis of Protocols
Pseudo-code translation on multi-level storage machines
Distributed Reliability Analysis
Application of Solid CAD for Mold Design
Some Problems in the Design of Magnetic Film Storage Systems Operating at Millimicroseconds
IT Market Trends
Oshidori-Net: Connecting Regional EPR Systems to Achieve Secure Mutual Reference with Thin-Client Computing Technology
Recursive Algebraic Specifications and their Semantics
An Example for Constructing Communicating Machines by Step-Wise Refinement
Mobile Frames: A Pragmatic Approach to Automatic Application Partitioning Based on an End-User Data Model
The Power of some Formal Models of Distributed Computing
An Analytic Approach to the Verification of Iterative Programs
On the numerical construction and the practical use of interpolating spline-functions
The Impact of Dark Trace Displays on Computer Graphics
Congruent Representation of Standard Denotational Semantics
Airbus fly-by-wire - A total approach to dependability
How the Usability of a Pen-Tablet System Varies with Response Time Retardation
The Theory of Prime Events Data Analysis for Sample Vectors with Inherently Discrete Variables
How Much is Safety Worth?
Reasoning by Analogy as an Aid to Heuristic Theorem Proving
Efficient RT-Level Verification by Theorem Proving
Reading and Pointing - Modes of Interaction for Blind Users
New Issues of Computer Privacy in the Eighties
Decision Support System: Some Lessons from an On-Going Application
Supporting User Mobility
Some mathematical fundamentals of the use of symbols in information retrieval
How to Use OSE - Reducing Limitations
The Way of New Computer Architecture Education
Information System Methods - History, Status and Forecast
Types, Abstraction and Parametric Polymorphism
Academic Networking in Latin America: Overview and Perspectives
Reorganization of Management Information Education In Light of the Advent of EUC/UF
Pasta-3: A Complete Integrated Graphical Direct Manipulation Interface for Knowledge Bases
A Method for Collaborative Requirements Elicitation and Decision-Supported Requirements Analysis
Computers for Developing Countries
Using Context in the Global Recognition of a Set of Objects: An Optimization Approach
Tightly Knitted Connections: The Politics of Networking
Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1 - Mathematics, Software
The Concept of an Integrated System for Information Access and Telecommunication (ISIT) and its Impact on Education in the 80s
The J-Machine: A Fine-Gain Concurrent Computer
Performance Through Hierarchy in Static Timing Verification
Physical Emotion Induction and Its Use in Entertainment: Lessons Learned
Some Unitary Transformations in Pattern Recognition and Image Processing
Elimination of carry propagation in digital computers
Data Processing Applications in Law - A History of Some Misunderstandings. Panel Position Paper
Intermittent Assertion Proofs in Lucid
Utilisation of an Analogue-to-Digital Linkage System in a Big Scientific Computing Centre
A Microprogram Generating System-MPG
IoTutor: How Cognitive Computing Can Be Applied to Internet of Things Education
Computer Coordinated Remote Manipulation
Adapting Aspect-Oriented Applications: A Trial Experience
Computing Rigorous Upper Bounds to the Spectral Radii of Non-Negative Matrices
Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach
Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information System
Programming Languages and their Processing
Should Smalltalk be Used in Educational Research?
On a Conjecture of Brzozowski
Learning Interoperability in Emerging Supply Networks
NJCL, A Network Job Control Language
MU5 - An Assessment of Design
On Generation of Test Data and Minimal Cover of Directed Graphs
Computer-assisted instruction: an overview of operations and problems
Symposium on Programming Languages
The Formalization Of Knowledge-Based Systems Validation And Verification: Promises And Pitfalls
Simulation of a Learning Machine for Playing GO
New Concepts for Digital Controlled Position Actuators Using Open Loop Techniques
Multiple Representations of Dynamic Data Structures
Program Development by Transforamtion and Refinement
Providing Reliable Agents for Electronic Commerce
Creating Memory: Reading a Patching Language
A Secure Intelligent Trade Agent System
Cultural Stability and Technological Change: The Case of Information, Communication and Media Technology
SAT-Varible Complexity of Hard Combinatorial Problems
Vue d'ensemble des problèmes fondamentaux du traitement des informations en temps réel
Experiences with Advanced Design Automation Tools
The CAD Tool of the Future
Three Semantics: A Framework for Studying Program Structures and Program Logics
Automatic Full-Custom Layout Generation of Static CMOS Circuits Targeting Delay and Power Reduction
LSI by CAD Out of Daisy
Multi-access systems in university education and research
An Experimental Investigation of the Performance of a Computer-Aided Building Design System
A Two-stage Solution of the Cutting-stock Problem
Architectural Evaluation and Improvement of a Universal Host Computer MUNAP
The Past, Present, and Future of Configuration Management
Computer Experience with Selected Secondary and Primary School Children
Significant Digits: Numerical Analysis or Numerology
Automatic Generation of a Compact Test Suit
Running an e-learning Project: Technology, expertise, pedagogy
Information and Restructuring of Soviet Society
The Narrowing Gap Between Language Systems and Operating Systems
Towards an Objective Understanding of Conformance
The Challenge of Change: Information Technology and the Community - An Australian Innovative Project
The Translation of 'Go To' Programs to 'While' Programs
G-system: A Functionally-Based Communication System Model for Parallel Processing
Strategies for Manpower Development in Informatics in Developing Countries: Experience of the UN University
A Comparative Study of Propagation Speedup Circuits in Binary Arithmetic Units
Semantic Interoperability and Health Records
The Evolving Technology For Environmental Decision-Making - Towards the Environmental Decision Support System
Some Meditations on Advanced Programming
A Comparison Between Ethical Perspectives of Information Systems Professionals and Information Systems Students
Tranfering Technology "Know How" to DCs: Some Mechanisms
Program Correctness: Can One Test For It?
Update-Dataflow Computing: A Way to Supercomputing in Discrete Simulation of Digital Systems
An Efficient Type System for Prolog
Laws for Communicating Parallel Processes
Systems Programming as an Emerging Discipline
GEO-XI-A Socioeconomic Laboratory for Planning Agencies
Can Software Faults be Tolerated?
Traceability Technology at the Software Productivity Consortium
Harmonising Information Technology Curricula with the Needs of Industry: An Australian Approach
Utilization of New Information Systems Development Methods in Practice - Perspectives and Prospects
Search and retrieval experiments in real-time information retrieval
"Natural" Complexity Measures and a Subrecursive Speed-up Theorem
The Configuration Management of Families of Programs
An Improved Method for Reducing the Bandwidth of Sparse Symmetric Matrices
A Temporal Logic for the Local Specification of Concurrent Systems
Object-Oriented Development for Open Systems
Formal proof and test case generation for critical embedded systems using SCADE
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations
An interdisciplinary perspective of dependability in open source software
Microprocessor Controlled Equipment for Measuring Plate Efficiency in Distillation
Random Generation of Satisfiable and Unsatisfiable CNF Predicates
Software Implementation Studies: Problems and Prospects
SEDAP: A Systematic Approach to the Processing of Experimental Data
Enhancing Web Performance
An Architecture for Tool Integration
Improving Software Testability by Observability and Controllabliity Measures
Internet of Things. Information Processing in an Increasingly Connected World - First IFIP International Cross-Domain Conference, Held at the 24th IFIP World Computer Congress, IFIPIoT@WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Yet Another Simple Internet Electronic Payment System
Multiplexing Problems in Computer Communications
Viewing Computing Systems Within a Social Context