yusuke1997/dblp-id-title huggingface dataset:
The Impact Structured Data Throughout Computer-Based Information Systems
Professional Development in Software Engineering - A Modular Programme in Hong Kong
On the Design of Programming Languages
Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5
Symposium on Switching Theory
A Tunnel-Diode High-Speed Memory
On the Effect of Statistical Bandwidth Allocation in an ATM Network Running Today's Applications
Open source software in critical systems: Motivation and challenges
A Unified Method for the Specification and Verification of Protocols
The Data Driven LAU Multiprocessor System: Results and Perspectives
Advances in circuit technology and their impact on computing systems
Data Structures for General Practice Records
Computed Access in Ragged Arrays
Industrial Strength Software Development Environments
Help Me to Understand Your World: A Reflection on the Potential Impact of E-Health Systems on the Prognosis for Asperger Syndrome
A Unified View of Clustering Algorithms
Maintenance as Challenge or Limitation - Some Experiences from Object-Oriented Programming
Computer-to-Computer Communication at 2.5 Megabits.sec
Context-sensitive Editing with PSG Environments
Unambiguity and ambiguity of context-free grammars and languages
From ISDN to IBCN
Better Tool for Professionals: Knowledge Based Systems
Knowledge Management-in-action in an EUD-oriented Software Enterprise
Software interactions between manufacturers and users
Task Scheduling with Critical Section Constraints
Pocket Gamelan: Realizations of a Microtonal Composition on a Linux Phone Using Open Source Music Synthesis Software
Development Environments for Software Architecture
Monitored Execution of Robot Plans Producted by STRIPS
Risk and Vulnerability in an Information and Artificial Society
Analysis of Flow Control in Switched Data Networks
High Speed Generation of Fault Location Data for Logic Circuits
Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification
E-Commerce Outsourcing Initiatives In Postal Industry
A three-valued system of logic and its application to base three digital circuits
Parallelism as a Structuring Technique: Call Processing using the Estrel Language
Parallel Computation of Eigenvalues of Real Matrices
The Execution Model and the Architecture for Real-Time Parallel Systems
On the Use of Computers in Painter's Work
Information Policy Issues in Developing Countries - Response
Query Translation in Distributed Database
On the Performance of Load Balancing Algorithms in Distributed Systems
Theory and Practice of the Computerised Traditional Chineses Medicin
An Optimizing Compiler Design
e-Health - Making Healthcare Better for European Citizens: Challenges and Expectations
A General Structure for Building Personalized Information: An Alternative Approach to Computer Aided Education
Private Telecommunication in Eastern Europe
The IS-function: the most intelligent IT-tool
How to Improve Performance of Relational DBMS
Business Capabilities Centric Enterprise Architecture
Updated Topics in Healthcare Informatics
Compact Balanced Tries
The changing role of analog and hybrid computer systems
Stochastic Independence and Computational Complexity
Early Foundations of Formal Modelling and Language Specification: Vienna Definition Language (VDL) and Vienna Development Method (VDM)
H-Trees
Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France
The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System
GALATEA: Interactive Graphics for the Analysis of Moving Images
Computer Science and Computer Science Education
Distributed Environmental Data Compendia
Control Concepts of a Logical Network Machine for Data Banks
An Approach to Modelling and Analysis of Parallel Information Systems
Array Automata and Array Grammars
Exception programming - the model concept
Dynamic Organization of Files in Management Control System
Views for Tools in Integrated Environments
Practical Construction of Syntax-Directed Translators
Partial Differential Equations of the Mixed Type and Methods of Their Solution
Nanosecond Speed in a Core Memory with Non-Destructive Read-Out
Functional Programming and Miranda
An Authentication and Security Protocol for Mobile Computing
The Impact of Electronic Medical Records on the Work Process of Outpatient Care: Extracting Use-Cases of Paper-Based Medical Records Using a Time Process Study
Allocation of route service in a transportation network
Introductory speech
The management of applications programming
BROOKNET - an extended core storage oriented network of computers at Brookhaven National Laboratory
A technique for cluster emphasis and its application to automatic indexing
Business Mobile Computing
Automatic Verification of a Class of Symmetric Parallel Programs
Information Modeling in the Context of System Development
Interprocess Communications in a Highly Diversified Distributed System
Information Processing, Proceedings of IFIP Congress 1971, Volume 1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28, 1971
Reliable Systems Enginerring (Position Statement)
Software Specifications, Data Bases and Knowledge Bases
Phone Card Application and Authentication in Wireless Communications
An Algorithm to Test if a Given Circular HDOL-Language Avoids a Pattern
Information Systems, Develoment and Structural Changes
More Advanced and Powerful Proof Tools
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model
Computer control of a mechanical arm through visual input
Lamport's Bakery Algorithm Applied to Loosely-coupled SCI Platforms
Independent consulting and software organisations
System Design of the ETL Mk-6 Computer
NTI: International Gateway to TRANSPAC
The evolution of dependable computing at the University of Illinois
Extensible Languages
Advanced Telemedicine System Using 3G Cellular Networks and Agent Technology
Environment Model for Advanced Robots
Financial Planning with Computer Assistance
rom ISDN to IBCN (Integrated Broadband Communication Network)
Use of Petri Nets for Proving Correctness of Concurrent Process Systems
A cognitive model of user interaction as a guideline for designing novel interfaces
CASSANDRE and the Computer Aided Logical Systems Design
PHASE II: A Data Base Management Modeling System
A MIMID Supercomputer System for Large Scale Numerical Applications
Co-production and Co-creation: Creative Practice in Social Inclusion
Responsible Data Science in a Dynamic World - The Four Essential Elements of Data Science
An Overview on the VALID Project
Panel on Techniques for Processor Construction
Computer Aided Design and Artificial Intelligence (Panel)
Abstractions for Fault Tolerance in Distributed Systems - Response
Fault Tolerant Control in Manufacturing Processes
Symposium on linear programming
A General Analytic Approach for Integrals of Coverage and More General Type Using Automatic Symbol Manipulation
Computer-aided Verification of Embedded Systems
Partial isomorphisms in graphs and structural similarities in tree-like organic molecules
Industry Transformation Through Information Technology; Dominant Designs as a Source of Competitive Advantage
Universal micromachine structure study oriented to simulation of computers
Building the Information Systems Development Capability of Public Institutions in Sub-Saharan Africa
The Evaluation and Management of Computer-based Systems: An Interdisciplinary Approach
The Graphical Techniques Used for a Chemical Process Simulator "JUSE GIFS"
A Program-Controlled Two-Dimensional Impedance Network
Choosing an Environment Data Model
MODULECO: Software for Macroeconomic Modelling
The Dualplex Method Applied to Special Linear Programs
Quantitative Validation for Industrial Ethernet Local Networks
Decision Support in Non-Conservative Domains: Generalization with Neural Networks
Preliminary Evaluation of a Prototype Dataflow Computer
A Marvelous Extended Transaction Processing Model
A Preconditioned Conjugate Gradient Method for Finite Element Equations, which is Stable for Rounding Errors
Specification Languages versus Programming Languages (Panel)
An Automatic Environment for Boolean Information Retrival
A Computational Model for Cognition (Abstract)
Automatic computation of data set definitions
The MOBULA feature
Shifting Boundaries in Systems Engineering, Policy Analysis and Management
MUSE - A Sound Synthesizer
Real-time information management: design criteria for system efficiency
Continous Methods for Free Boundary Problems
Is academic open source software dependable?
IoT Enabled Process Innovation: Exploring Sensor-Based Digital Service Design Through an Information Requirements Framework
Optimal Smoothing in Picture Processing: An Application to Fingerprints
Two-Level Grammars in Action
Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value Problems
Working at Home or Living in the Office
Integrating diverse information resources: capturing meaning in a sea of data
Computers and Data Processing in Nuclear Research
Algebra of management information
Computer Automation of Bore Hole Designing and Projecting
Functional Cost Analysis - A New Analytical Technique for Management
A Deadlock-free Adaptive Routing Algorithm for Direct Binary Hypercubes
A Breakpoint Technique for Network Problems
MATHLAB 68
An Algorithm for the Translation of ALGOL Statements
Numerical Studies of Implicit Iterative Methods for Solving Elliptic Difference Equations
Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994
Cooperation on Software Development in the South of South-America
Multimodal Systems: Aspects of Events Fusion and a Taxonomy
The Impact of Computerization on the Relationship between Administration and the Citizen
Program Generation and Transformation - Tools for Mathematical Software Development
Survey of Recent Results on Composite Integration Methods for Ordinary Differential Equation, Especially Cyclic Methods
Applications of on-line computers to laboratory instrumentation systems
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering
Optimal Scheduling for Homogeneous Multiprocessors
Advanced Microelectronics as a Foundation for Future Computers (Panel)
An Architecture for Intelligent User Interfaces
Inspection of Safety-Critical Software Using Program-Function Tables
The MOMIS methodology for integrating heterogeneous data sources
Attribute Based Data Model and Polyinstantiation
Correctness Preserving Transformations for Distributed Programs
A Measurement based Networking Approach for Improving Internet Congestion Control
Information Processing, Proceedings of IFIP Congress 1971, Volume 2 - Applications, Ljubljana, Yugoslavia, August 23-28, 1971
An Open Model for Developing Knowledge-Based User Interfaces
A Parallel Computer for Array Processing
Toward a Computer Typography for Music Research: a progress report
Data Structures Theory and Representation
A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus
Efficient Algorithms for the Domination Problems on Interval and Circular-Arc Graphs
Theory of Direct-Access Storage Functions
Improving certification capability through automatic code generation
The virtual class
Teleconference in Virtual Space
A C.A.D. System for Process Control Based upon a Standard
The Workstation Approach for Software Engineering - Response
ARTA, an Interactive Animation System
Digital Filters Applicable to Electroencephalographic Pattern Recognition
Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming
Informatics and Human Sciences: A Working Synergy
Standardized Comparisons of Computer Performance
Structural Knowledge for the Recognition of Syllables in Continuous Speech
Chunking and Phrasing and the Design of Human-Computer Dialogues - Response
The Complexity of Language Recognition by Neural Networks
Bounds on Scheduling Algorithms for Heterogeneous Comnputing Systems
Compiler Generation by Partial Evaluation: A Case Study
Reflections On Effective Application Of Information Technology In Organizations ... From the Perspective Of The Management in the 90's Program
From Data Management To Information Exploitation
A Performance Measurement System for Computer Networks
Restarts and Rotations of Quasi-Newton Methods
Impact of standardization work on the future of information technology
Data Traffic Measurements for Inquiry - Response Computer Communication Systems
Functional Process Improvement Implementation: Public Sector Reengineering
Probabilistic Error Estimates in Spline Interpolation and Quadrature
A Knowledge Engineering Approach to Overcome Elusive Problems in KBS Development
Linear-Time Algorithms in Memory Hierarchies
A Synthetic Media Architecture for an Object-Oriented Open Platform
Visual Operational Thinking and Communicative Competence - A Prerequisiste for Bringing Multimedia Network Systems and Learners into Action
Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983
Information Systems Requirements Definition: Key Factors and Situation in Brazilian Companies
Intelligent User Interfaces for Advanced Workstations
A Method for Solving Simultaneous Polynominal Equations
Dependence of Speech Quality on Transmitted Information Rate in a Band Compression System
Some Approaches to the Management of Change
Design Methods and Tools for Application Specific Integrated Circuits
A Deadlock-Free Scheme for Resource Locking in a Data-Base Environment
Personal Computers on Campuses: The Experience
Structure of a Highly Reliable System
A Portable ALGOL 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler Technique
The Reckoner and the Mediator: a consumer-oriented on-line system
Ease of Use: A System Design Challenge
Net Theory and Application - Response
The Reliability of a Hierarchical Multi-Computer System for Real Time Direct Industrial Process Control
Information Systems in the Small (Invited Paper)
A note on unconditional fixed- h stability of linear multistep formulae
Performance Evaluation in Perspective (Panel)
Super Database Computers - Response
Multiparameter Data Acquisition with a Satellite Computer
Toward a Theory of Automata Based on more Realistic Primitive Elements
Scalable Parallel Computing: A Grand Unified Theory and its Practical Development
The EURATOM automatic indexing project
The design of a message switching centre for a digital communication network
Security Policy
Using OSI as a Basis for Decentralized File Servers in a Heterogeneous Environment
The distribution of number and size of connected components in random graphs of medium size
Is I.T. Spending Worth in Africa?
Flexible Network Architectures for Personal Multimedia Communications
A survey of formal grammars and algorithms for recognition and transformation in mechanical translation
"META/PLUS" - The Syntax Extension Facility for "SCRATCHPAD"
Design and Implementation of an Interconnection Network for the AP1000
Sur l'estimation des erreurs d'arrondi
Guidelines for Data Administration (Invited Paper)
Distributed Print on Demand Systems in the Xpect Framework
QoS, Security, and Mobility Management for Fixed and Wireless Networks under Policy- based Techniques
Student Produced Example Game with Computer Feedback for FORTRAN Learning
Involving Industry in the Continuing Improvement of Higher Education
The SEI Education Program: Strategy and Accomplishments
From Batch to Interactive: The Evolution of Computing Systems, 1957-1969
The ODISSEA Approach to the Design of Information Systems from Deductive Conceptual Models
Collaborative intelligent decision systems
A reduction method for non-arithmetic data, and its application to thesauric translation
Data structures in two-level store
Performance and Performability Evaluation of Client Server Systems by Stochastic Petri Nets
The number of multiplications involved in computing certain functions
The Precise Determination of Definition-Use Pairs in the Interprocedural Case
On Bayesian Methods for Seeking the Extremum and their Application
State of the Art of Service Creation Technologies in IP and Mobile Environments
Information-retrieval instruction system on board ship
Distributed Systems - Towards a Formal Approach
Invited Talk: Taking a Knowledge Perspective - The Future of Knowledge
Optimal file allocation in a multicomputer information system
Hardware Design - A Tools View
Automatic Pattern Recognition - A Challenge to Computer Technology
Extra-Organisational Systems: A Challenge to the Software Engineering Paradigm
Performability Modeling and Its Evaluation Tool for Network Disconnection
A method for identification problems in partial differential equations
Communications Dependability Evolution - Between Convergence and Competition
Computer Understanding and Creativity (Invited Paper)
A trainable classifier with piecewise linear separation using the learning-matrix
Information Technology, Selected Tutorials, IFIP 18th World Computer Congress, Tutorials, 22-27 August 2004, Toulouse, France
On the convergence of a practical QR algorithm
The utilisation of direct access facilities for electricity board customer accounting purposes
Computer Communication for Developing Countries
The Method of Normal Solutions in Linear Programming
Software for Speech Output
Informatics in a Developing World (Invited Paper)
Systems Development for Development - Is It Possible, How, By Whom?
Smart-Cards for Network Services
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification
Symposium on Modern Techniques of Language Translation
Multimodality and multi-platform interactive systems
The Illusion of Illusion: Constructing Meaning in the Artifical Age
Reducing the Proliferation of Passwords in Distributed Systems
The Basic Principles of Query Optimization in Relational Database Management Systems
Computer aided comprehensive design for six sigma (DFSS) and axiomatic design (AD) - Computer Aided Performance Excellence (Cape)
Self-Correcting Decoding Circuits
Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion
System Level Design: The New Challenge
On the Optimal Approximation of Discrete Functions with Low-dimensional Tables
Performance of Parallel Hash Hardware with Key Deletion
New Trends and Related Problems in Computer-Based Education
Computer Communication - Representative Systems
Aspects of Data Communication and Computer Networks
Business Data Processing - A Review
SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems
Symposium on Advanced Components
Large On-Line Files of Bibliographic Data: An Efficient Design and a Mathematical Predictor of Retrieval Behavior
Controversial Issues in CIM (CAD, CAM, CAE) (Panel)
Computer-assisted Instruction in English Composition and Advanced Writing Skills
E-mail as an Educational Tool in Learning Statistics
Natural Language Question Answering and Automatic Deduction in the System Syntex
Information Retrieval - Review and Prospectus
Future Trends in Supercomputing: Access and Evaluation
Balancing Syntactic and Semantic Power in Compiler Specification
The International Data Center concept
Securing Data Bases under Linear Queries
Towards the Automation of Binocular Depth Perception
Optimal Algorithms for Sorting on Single-tape Turing Machines
Specification of Intel IA-32 Using an Architecture Description Language
Computers in Planning in People's Republic of Bulgaria
Computer Network Software Design Based on Abstract Objects
Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD
Coroutines and Networks of Parallel Processes
Comparison Between a Prescribed and a Permissive Process in Computer Assisted Training in Decision Making
Microwave solid-state techniques for high speed computers
On the Development of Decision Support Systems as a Marketing Problem
The Roles of Logic Synthesis Systems
The generalized medical information facility
Information Systems in Electricity Supply in Great Britain
Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986
Literacy and Specialization in Artificial Intelligence for Business and Information Systems Students
Theoretical Aspects of the Complex: Arts and New Technologies
Domain-Independent Automatic Programming
Value Added by Interoperable Information Systems in Spread Production Networks
A generalization of a method for the construction of class/teacher timetables
VLSI Artchitectures for Back Substitution
A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNU
A Translator Optimizer for Obtaining Answers to Entity Set Queries from an Arbitrary Access Path in Network
Extending Management Capability by Electronic Computers
Operating System SXO for Continuous Operation
PHYSICTRAN: A Programming Language for Physicists, Economists, and Engineers Extending the Possibilities of Fortran V in Automatic Solving
The Outcomes of the Implementation of Internet of Things: A Public Value Perspective
Guidelines for Data Administration - Response
Cultural Computing - Creative Power Integrating Culture, Unconsciousness and Software
Analysis and Translation of Entity-Relationship Database Schemas
A Predicate Oriented Locking Approach for Integrated Information Systems
Hybrid interpretation of induction results
Exploring the inclusion of design factors in Computer Aided Inventing
The Implementation of Geometric Algorithms
The numerical solution of the integral equation formulation of the Neumann problem
Data Compression in Context-Free Languages
Applications and Impacts, Information Processing '94, Volume 2, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994
What Leads to a New Paradigm in CIM?
Overview of the Health Informatics Research Field: A Bibliometric Approach
Measurement of Recursive Programs
Workflow Modeling for Internet-Based Commerce: An Approach Based on High-Level Petri Nets
A Constructive Approach to Static Verification of Program Properties
Valuation of Procurement Flexibility in the Machinery and Equipment Industry Using the Real Option Approach
Proposal for a time sharing Command Structure
Market-Based Workflow Management
Algebra of Algorithms, Data Structures and Parallel Computation
Artificial intelligence: themes in the second decade
Paging and Small Segments: A Memory Management Model
FORUM: A Computer-Based System to Support Interaction among People
Expert Systems Before the Flood?
Achievements and problems in formula manipulation
A Layer-Independent Architecture for a Testing System of Protocol Implementations
Some New Research Directions in Robot Motion Planning
Functional Specification of Communicating Systems
Computer Animation Used as a Tool in Teaching Computer Science
Broadcasting with Selective Reduction
Formalization of Concurrent Processes
Adaptive Concept Learning Algorithm
Third Generation Knowledge Management in Action: Relational Practices in Swiss Companies
E-Health - First IMIA/IFIP Joint Symposium, E-Health 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Data Structure for Graph Representations of a Network Having Double Euler Trails
An Emerging Societal Invariant: The Co-herent Basic Information Systems (IS) Frame
How to Protect Multimedia Applications
Languages for programming conversational use of computers in instruction
Takeaway Learning Resources for Information Technology Courses
The Pipelined Central Controls of the Golem B Computer System
A comparison of spline approximations with classical interpolation methods
The Calculating Machines Stored in the Palace Museum in Beijing, Their Structure and Algorithms
Application Oriented Informatics and Informational Disciplines: A Symbiosis Briding the Gap
A Design Approach to the Audit of Computer Information Systems
Symposium on switching algebra