yusuke1997/dblp-id-title huggingface dataset:
Can Functional Programming Be Liberated from the Applicative Style?
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols
Modelling Elapsed Time in Protocol Specification
The GPL compiler
Distributed Intelligent Agents
Computer fault location using tabular functions
DDS: the data delivery service
Linux: A multi-purpose executive support for civil avionics applications?
Information Resources on Atmospheric Molecular Spectroscopy
Software Life Cycle Support - Decision Based Software Development
Constructing Suffix Trees On-Line in Linear Time
On Constructing Large Software Systems
Relational Model for a Data Base
On the Application of Relational Data Structures in Computer Graphics
A Laboratory for Hand-Eye Research
Emotions as a Communication Medium between the Unconscious and the Conscious
Bounds for the rank and eigenvalues of a matrix
Panel on Numerical Control
FURNACE, An Integrated System For Metallurgical Process Control
Workplace Applications: Tools for Motivation and Tools for Control
A Metamodel for Enterprise Architecture
Programming in the Large with Algebraic Module Specifications (Invited Paper)
Solving System Partitioning Problem using a Massively Parallel Bio-Computing Network
Program Behaviour Specification through Explicit Time Consideration
CIM - The Future Technology (Invited Paper)
Ethics and Information System Practice
Les programmes logarithmiques - application au calcul des programmes convexes, spécialement linéaires
On the Problem of Communicating Complex Information
Student Forum, IFIP 18th World Computer Congress - Student Forum, 22-27 August 2004, Toulouse, France
A Survey of Error Analysis
Intelligent Multi Agent Search Engine
Using Knowledge of a Data Base World in Interpreting Natural Language Queries
Advances in the Exploitation of Sparsity
A Knowledge-Based Approach to Generating Target System Specifications from a Domain Model
P. Trane: Designing Secure Agents with O.O. Technologies for User's Mobility
Factory Automation - A Position Statement
A Basis for the Constructive Approach to Programming
An application of a digital computer for extended shmoo-plotting of ferrite-core memories
Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994
Dependability Issues in Telecommunications
Organisational Productivity-The Role of Information Technology
Living in the Next Generation Operating System (Invited Paper)
Women, Work and Computerisation (Panel)
Realization of tai-chi motion using a humanoid robot - Physical interactions with humanoid robot
Partitioning and Allocating Computational Objects in Distributed Computing Systems
Belarus in the International Communication Society
The Conceptual Requirements for a Management Information Data Bank
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering
Distance Learning of University Level Informatics with and without Computers
Thin magnetic films
Data Banks and Information Systems for National Statistics
Linear realizations for permutation machines
Hydraulic and Pneumatic Switching Elements
An e-learning version of the French higher education curriculum: "Computer methods for the companies management"
Mapping of topological relations in diffuse neuronal nets
Inexact Step Lengths and Quasi-Newton Methods
The economics of program production
VLSI Design Methods: Posibilities and Limitations
Understanding and Controlling Software Costs - Response
A Unified Architecture for the Integration of Data Base Management and Information Retrieval Systems
Walking Strategies for a Single-Server Multiqueue Service System
Rounding errors in algebraic processes
Security Mearures, Standardisation and the Law
Numerical integration with highly oscillating weight functions
Symposium on Languages for Processor Construction
ANDREW: Carnegie Mellon's Computing System (Invited Paper)
A proposal for reliable information multicast environment: its implementation and evaluation
Quantification of the Qualitative Design Process: Planning and Design by Computer
Tools for Analyzing Dynamic Properties of System and Software Designs
A quasi-topological method for the recognition of line patterns
Reuse of Cliches in The Knowledge-Based Editor
Implementation of a Protocol in an Assembly Language
Application of Orthogonal Transformations to the Solution af an Extremal Problem
Fuzzy Logic and Its Application to Approximate Reasoning
Large scale multi-user virtual worlds
Specification Writing as Construction of Hierarchically Structured Clusters of Operators
The Semantics of a Simple Language for Parallel Programming
Specification and Validation of Protocols by Temporal Logic and Nets
Lotos in Practice
Codes of Ethics, or of Conduct, Within IFIP and in Other Computer Societies
On a Class of Codes Correcting Errors in Information Exchanged Between Computers
Innovative enterprise information systems: an imperative for public sector organisations of the 90s
Artificial life of agents
On calculating the illusion of reality
Process Constructors and Interpretations - Response
An intelligent agent for supporting user navigation in a hyperspace
A System for Interactive Graphic Programming
New Telecommunication Services and Network Architecture: A Tentative Survey
Dependability: A Unifying Concept for Reliable, Safe, Secure Computing
Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma
Design space for multimodal interaction
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets
Computer-aided formal specification for concurrent engineering platforms
Developing Competence in a Developing Environment
Protocol Product Testing - Some Comparisons and Lessons
A Proposal for Generic Signaling Transport Protocol
Some Basic Applications of Computering in the Law-Making Process
Some Linear-Time Algorithms for Systolic Arrays
Computer Construction of Surfaces through Arbitrary Points
On transformation of sequential programs into asynchronous parallel programs
PPML: A General Formalism to Specify PrettyPrinting
Real-time display of computer generated half-tone perspective pictures
LC/1, A Specification and Implementation Language for Protocols
The Bottom up Analysis of While Statements: Strongest Invariant Functions
Academic-Industry Collaboration: Towards a Pro-Active IFIP Role
Proof of properties in avionics
Software Engineering - An Educational Challenge
Error Recovery for LR(k) Parsers
Automation of Electronic and Microelectronic Design
Boolean Functions with a Low Polynomial Degree
A Model of Software Manufacture
A Proposed ALGOL 60 Matrix Scheme
Experiments in machine learning and thinking
The Von Neumann and Parallel Computing Eras
Automation, Organizational Choices and Social Effects: The Case of the Cement Industry
Tomorrow's Digital Hardware will be Asynchronous and Verified
The Use of Approximation Methods in Linear Programming
The Time Dimension in the Entity-Relationship Model (Invited Paper)
Equilibration and pivoting in linear algebraic systems
The Hierarchical Synthesis of Lisp Scanning Programs
PMES: privilege mangagement and enforcement system for secure distributed resource sharing
Is it User or Computer Interface?
A Framework for the Optimizing of WWW Advertising
The constructive theory of stability of difference schemes
Towards a Generic Information System Design Process
Predicate Logic as Programming Language
Towards Advanced Programming Environments Based on Algebraic Concepts
Capturing and Analyzing Injection Processes with Point of Act System for Improving Quality and Productivity of Health Service Administration
C-System: Multiprocessor Network Architecture
A First Order Theory of Data and Programs
Modeling Motion Simulation with DEDS
Solution of the generalized ADI minimax problem
The Evolution of Algebraic Manipulation Algorithms
Parallel Computations in Grid Methods for Solving Mathematical Physics Problems
Social Implications of Comnputer Technology
Computer Based Planning and Modelling System
Encouraging Academic/Practitioner Collaboration: Development of an Intelligent Decentralized Shop-Floor Control System (Leitstand)
BARTER: A Backbone Architecture for Trade of Electronic Content
Formal description of input data
On Table Operating Algorithms
XML in Enterprise Systems: Its Roles and Benefits
Using a Home Microcomputer to Teach a Dyslexic Child to Read
Developing re-usable interactive storytelling technologies
The Discriminant Function Approach to Classification of Incomplete Pattern Vectors
Parallelism Control and Storage Management in Datarol PE
Emotional Expression of Korean Dance Assisted by a Virtual Environment System
A satellite display console system for a multi-access central computer
Chain Automata
Impacts of Creating, Implementing and Using Formal Languages
FORAL LP - Making Pointed Queries with a Light Pen
Program Verification and Verification Oriented Programming
Experience with automated Protocol Verification
A System for Generating Urdu/Farsi/Arabic Script
Introduction of a New Administrative Control System in the Norwegian Shipping Industry
A Computation-System Based Method for Automated Proving of Protocols Against Services
Comparative Analysis of Computer Architectures
CIN: an intelligent information management toolkit
Computer-controlled textile designing and weaving
The conceptual stage in planning a company information system
Toward a New Era-Computerizing the Israeli Educational System: Prospects and Obstacles
Personal Communication is More Than Wireless Communication
Technological Forecast 1971
Architectural and Functional Features of Matrix Module (MAMO)
Symposium on Coding Theory
An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses
Computer aided treatment of diabetes
Aspects of a Proposed Data Communication System
Improving cooperative behaviour in a multi-agent system
Vulnerability and Gender Issues in Information Systems Design seen in a Euro-business Perspective (Panel)
Information Overflow - Problem-Solving Methodology
Boolean Analyzer
Generalized Interactive Symbolic Manipulations
Equation Solutions by Functional Analysis Algorithms and Formula Manipulation
Acceleration Techniques in Numerical Analysis, with Particular Reference to Problems in One Independent Variable
Toward Isotopic Image Reduction
Implementation of an ERM Data Dictionary System for Open CASE Environment
Residual Capacity Estimator for TCP on Wired/Wireless Links
Symposium on Optimum Routing in Large Networks
The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture
CAD to Support CIM Applications (Invited Paper)
Computer Generated Analogues of Mental Structures from Language Data
Requirements of the Telecommunication Infrastructure of the Future: Multimedia Communication and Computing
The Spectrum of Information Processing
Estimation of Economic Effectiveness and Rational Organization of Computer Applications in Plant Control System
Industrial experience of abstract interpretation-based static analyzers
Entropy as a Complexity Measure, and the Optimal Module Size of Object Oriented Programs
Dependable systems of the future - What is still needed?
N/JOY - An Object Oriented System of Office Workbenches: Tools instead of Menus
Recognition and Measurement of Bubble Chamber Tracks Using a Flying Spot Digitizer
Creating a Software Engineering Knowledge Base
Planarity Testing in V log V Steps: Extended Abstract
Impact of Algorithms on New Computer Architecture - Response
Computer Art with Rodin
An Overview of Specification Language Universe
Designing Multi-Processor Real-Time Systems with a Multi-view Approach
A Deterministic Model of Operating Systems
Applications of Multi-Agent Systems
On Basic Concepts of Early Computers in relation to Contemporary Computer Architectures
Approaches of Digital Signature Legislation
The Problematic of Distributed Systems Supervision - An Example: GeneSyS
Chebyshev methods for separable partial differential equations
On the Way to Competitive Market of Service in Heterogeneous Networks
Internet of Things: The Present Status, Future Impacts and Challenges in Nigerian Agriculture
Standardisation of Formal Description Techniques for Communication Protocols - Response
Report on R and D at the Software Institute
Making Exceptions Simplify the Rule (and Justify their Handling)
Knowledge Based Systems in Education: An Instructional Method that Places the Responsibility for Learning on the Students
Replacing the Printed Word: A Complete Literay System
Intellectual property protection for IT developments - the debate continues
A Mathematical Model of Drug Distribution and the Solution of Differential-Difference Equations
SCARABEE: A Data and Model Bank for Financial Engineering and Research
Building a Local Hardware Industry for Domestic Needs and Export
Input and output in the X-1 system
Panel on Business Systems
Adaptive Method of Automatic Abstracting and Indexing
Some (3 p, p ) codes
An Experiment in Modular Program Design
Facsimile Coputer Communication by Center-End Facsimile Communication Network
International Office of the Future: A Teaching and Research Facility
Use of Simulation for Operating System Optimization
Adaptive Routing in Store-and-Forward Networks and the Importance of Load Splitting
The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation
Some Examples of Numerical Methods and the Philosophy behind them
Current and Future Trends in Data Base Management Systems
An Overview of AFFIRM: A Specification and Verification System
Storytelling for recreating our selves - Zenetic computer
Investing in Information Systems Success
ISDN and X25 (Panel)
Cluster Analysis for Personalised Mobile Entertainment Content
A Systematic Approach to Design Data Handling
Learning from Pathology Databases to Improve the Laboratory Diagnosis of Infectious Diseases
A Declarative Environment for Distributed Programming
A Technique for Identification of Users' Information Requirements. The First Step in Information Systems Design
Abstraction by Structural Reduction
Building The Intelligent Island
An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
Supporting organizational learning with CSCW-applications - the information trader concept
Information Processing, Proceedings of the 6th IFIP Congress 1974, Stockholm, Sweden, August 5-10, 1974
The Effect of Collaboration on Problem-Solving Performance Among Programmers
Towards a Theory of Organizational Information System-A General System Perspective
Attribute Specifications for Graphical Interface Generation
Application of Fourth Generation Prototyping Tools and Methods: A Municipal Industrial Water Quality Monitoring System
Speech Processing on a Personal Computer to Help Deaf Children
Editing Large Programs Using a Structure-Oriented Text Editor
Future technical trends in software development
A Knowledge Based Information System
Local Networking of Personal Computers
Can Design Faults be Tolerated
On Binary Trees
Towards Automation of Model Transformation
Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars
Man-Machine Methods for Solving Large-Scale Economic Planning Problems
Clustered File Generation and its Application to Computer Science Taxonomies
Local Transformations
Elbrus Software Methodology: Instrumentation - Experience
Recovery in Distributed Databases Based on Non-Synchronized Local Checkpoints
Protocol Verification via Executable Logic Specifications
Evolving Algebra Model of Programming Language Semantics
MAGE: A Methodological Framework for the Cooperative Development of Educational Software
Software Physics and Paradigms
Panel: Parallel and Distributed Computing - Distributed Memory or Shared Memory Systems?
The Potential and Feasibility of Computer Guided Educational Diagnosis
About ABC ALGOL: A Language for Formula Manipulation Systems
A survey of some results in the field of discrete mathematics
Time sharing: the need for re-orientation
On Binary Search Trees
Quality criterion for analog and digital computers based on the theory of information and its application to a comparison between the two kinds of computers
The computer as a research tool in the construction of models of linguistic performance
Starting procedures for the iterative calculation of rational Tschebyscheff approximations
Technical Document Storing and Retrieval - Response
A Class of Recursive Coroutines
Object-oriented specification of coordinated collaboration
The synthesis and processing of signals with discontinuities in the time domain
Enterprise Architecture, Integration and Interoperability - IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Zen and the Art of Analog Design Automation
Knowledge-Based and 3D Imaging Systems in Medical Education
Multi-Micro Processor System: Another Viewpoint (Response)
Pricing Computer Services
A Framework Architecture for Reusing Training Services
Social robots: Challenges for machine intelligence - Domain outline, main trends and issues
Basis for Program Optimization
Text-Retrieval: Theory and Practice
Modelling Interaction of Blind People Using Graphical User Interfaces
Certifiable Critical Complex Computing Systems
Oyster-2: Bringing Type Theory into Practice
Development of Computer Languages and Interpretive Systems
Towards an intelligent software maintenance network
MICS - A Multi-Microprocessor System
Prototyping Factory Management Systems
IoT: Do We Have a Choice? - Draft IFIP Position Paper
Design of a programming language and system for computer assisted learning
MIDOC: A Microcomputer System for the Management of Structured Documents
Interface for Reusable Software Components
Cost-Benefit Analysis of Computer-Mediated Message Systems
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase
Computer systems for industrial process control. A review of progress, needs, and expected developments
A Multiformalism Approach to Formalize Complex Distributed Systems
Symposium on Stability of Numerical Calculations
An Enterprise Architecture Approach towards Environmental Management
High-speed plated-wire memory with interlaced modes
Participant: Panel on Informatics and Development
Information Technology and New Forms of Participation in the Narrative
File structures for generalized data management
Application of error-correcting codes to multi-way switching
Service Enforcement on Programmable Routers Using Innovative Policy Based Management
Representation of procedural knowledge and its use to compute a form of subsumption
Program Proving as Hand Simulation with a Little Induction
Assignment Problems
An examination of information processing in the social sciences through the use of simulated data
Software instrumentation systems for optimum performance
Data Processing for Radioastronomy and Cosmic Ray Air Shower Arrays
Culture-Centred Design: Towards A Method for Cross-Cultural Usability
On a Modification of the QD-Algorithm with Graeffe-Type Convergence
Logic Programming: The Evolving Algebra Approach
Source Level Debuggers: Experience from the Design and Implementation of Chillscope
What Good is Temporal Logic?
On the Numerical Solution of Boundary Value Problems for Ordinary Differential Equations
National and International R&D Programmes in Informatics Cooperative R&D Programmes - An Overview
Database System Design for High Performance
Design Issues in Randomized Branch and Bound Algorithms: A Study of Graph Partitioning
Foundations for Knowledge-Based Systems (Invited Paper)
Report on a Software Automation R&D Project
Packet Switching, Message Switching and Future Data Communication Networks
Approximating Optimal Direct-Access Merge Performance
Learning with the Recurrent Random Neural Network
Formulating Human Purposes - Meta-Engineering Computers for People
Program Speedups in Theory and Practice
Analysis of Online Algorithms for Organ Allocation
Supercomputing in Japan (Invited Paper)
A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams and Its Application to Program Development
Restructuring the Data Processing Organization for Data Resource Management
Efficient Randomized Parallel Algorithm for the Closest Pair Problem in D-dimension
On Extending the Realm of Application of Relational Systems
Introduction of Computer Aided Design in an Educational System
Microprocessors as Agents of De-Industrialization
Technology for the disabled and why it matters to you
Design of an Arithmetic Unit Incorporating a Nesting Store
The HL7 RIM in the Design and Implementation of an Information System for Clinical Investigations on Medical Devices
Moving Towards an Information-Based Economy: The Challenges of a Developing Country
Proving Properties of Assembly Language Programs
Software Interoperability Tools: Standardized Capability-Profiling Methodology ISO16100
Numerical Application of the Generalized Euler Transformation
Health Informatics Methodology and the Fragmented Health Care Market
Conceptual Model of Activity as Tool for Developing a Dementia Care Support System
Real-Time Classification of Handwritten Script Words
Distributed Systems and OSI
Strategies for Reducing Power Consumption and Increasing Reliability in IoT
Requirements Evolution and Impacts on Safety
Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case Study
Designing Concurrency Semantics
Rationalisation and Modellification: Two Complementary Implications of Information Technologies
Memory systems
Educating the Information Generation
Hardware and Software Dependability Evaluation: Software Dependability
Physicians' Concept of Time Usage - A Key Concern in EPR Deployment
TAIS: technology Assessment Information System
Making Expert Systems Explicit (Invited Paper)
A Knowledge-Based Manufacturing Cell Design System
Optimum Design of Two-Computer Networks
Analysis and Compensation of High-Speed Electronic Analog Computer Errors
Rules of Interpretation - An Approach to the Problem of Computation in the Semantics of Natural Language
Intelligent Interfaces as Cooperative Agents: From Stick Shift to Automatic Transmission in Human-Computer Interaction
Automatino of design and construction
Application of hybrid computers to the integration of partial differential equations of the first and second order
How Three Poznan University Students Broke the German Enigma Code and Shortened World War Two
Pushing the Limits of Conventional Media
A Computer-Aided Advising System for FORTRAN Program Debugging: ADVISOR
Object-predicate reciprocity and its application to pattern recognition
Computer Supported Coorperative Work (CSCW) - Issues and Challenges
Vulnerability in the Electronic Cottage - Electronic Data Interchange and the Electronic Cottage (Panel)
A three-dimensional piping design program
Logical Attribute Grammars
A Spatial Graphical Man-Machine Interface
A Read-Out Circuit for High-Speed Non-Destructively Read Stores
Advances in VLSI-Testing
Stability in linear algebra problems
Practical Verification Strategy for Refinement Conditions in UML Models
The Limits of Togetherness
On the Usefulness of Syntax Directed Editors
An Analysis of the Compromise Merge Sorting Techniques
Program generation by questionnaire
BASIS - An Interactive System for the Introductory Course in Informatics
Program Proving-Expression Languages
Data-Oriented Incremental Programming Environments
Reducing Multiplicative Complexity of Polynomial Algebra Algorithms
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories"
Software Factories Around the World: Introduction to Panel Session
A Flexible Measurement Tool for Software Systems
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers
Impact of Computer Technologies on Education
Models of Control at Register Transfer Level
Research and Development Programs in Informatics: An Australian Perspective
Safarchie Studio: ArgoUML Extensions to Build Safe Architectures
Position Statement - Foundations of Software Engineering
The Computerised Society: A Challenge for Educators