yusuke1997/dblp-id-title huggingface dataset:
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Transactional Service Level Agreement
From Rational Number Reconstruction to Set Reconciliation and File Synchronization
Tests for Establishing Security Properties
Session Types with Gradual Typing
Computational Soundness of Equational Theories (Tutorial)
Namespace Logic: A Logic for a Reflective Higher-Order Calculus
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Near-Optimal Scheduling for LTL with Future Discounting
A Formal Model for the Deferred Update Replication Technique
A Framework for Rule-Based Dynamic Adaptation
Interaction and Causality in Digital Signature Exchange Protocols
Studying Operational Models of Relaxed Concurrency
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
Concurrency Among Strangers
A Model of Evolvable Components
A Framework for Type Safe Exchange of Mobile Code
Software of the Future Is the Future of Software?
Web Service Composition: From Analysis to Autonomy
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability
Relational Analysis for Delivery of Services
Spatial-Behavioral Types, Distributed Services, and Resources
Characterising Testing Preorders for Broadcasting Distributed Systems
The Impact of Altruism on the Efficiency of Atomic Congestion Games
Content-Driven Reputation for Collaborative Systems
A Type System for Flexible Role Assignment in Multiparty Communicating Systems
Conditional Information Flow Policies and Unwinding Relations
Multiparty Testing Preorders
Connectivity in Multi-interface Networks
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction
Fine-Grained and Coarse-Grained Reactive Noninterference
Project AEOLUS: An Overview
Type Systems for Bigraphs
Responsive Choice in Mobile Processes
Transactional Correctness for Secure Nested Transactions - (Extended Abstract)
On Correlation Sets and Correlation Exceptions in ActiveBPEL
Dynamic Measurement and Protected Execution: Model and Analysis
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
A Distributed Object-Oriented Language with Session Types
Location-Aware Quality of Service Measurements for Service-Level Agreements
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Multipoint Session Types for a Distributed Calculus
Corecursion and Non-divergence in Session-Typed Processes
Replicating Web Services for Scalability
Automated Analysis of Infinite Scenarios
Orchestrating Tuple-Based Languages
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses
History-Based Access Control for Distributed Processes
Dynamic Recovering of Long Running Transactions
Integration of a Security Type System into a Program Logic
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Towards Quantitative Analysis of Opacity
Structured Communications with Concurrent Constraints
Algorithms for the design and analysis of woven textiles
Personal computers demand new perspectives
A microprogramming design laboratory
Developing application independent interfaces for workstations in a distributed environment
MicroNet a low-cost local area network for microcomputers
On the design of an interactive spelling dictionary for personal computers
Applications of digital processors to energy monitoring and control systems
An Examination of Strategies for Estimating Capacity to Share Among Private Workstations
Object-oriented user interfaces and object-oriented languages (Keynote Address)
A stepwise approach to distributed database systems by database machines
RM: A resource-sharing system for personal computers
Staffing The Third Wave
Using a distributed mini-computer network to automate a biochemical laboratory
Distributed MIMD multiprocessor system with MicroAda/SuperMicro(TM) for asynchronous concurrent Newton's algorithms
Processing power on the IBM personal computer
The design of a space efficient compiler
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, SIGSMALL 1986, San Francisco, California, USA, 1086
Proposing resident user-cycles in personal computers
Hermes: An operating system for a Modula-2 environment
MRS: A Microcomputer Database Management System
Data base systems for large and small computers
Displaying text in facsmile
Explanation in Ecological Systems
Sharing problems: Personal computers as interpersonal tools
Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs
Datenbank-Pascal an extendable database management system for personal computer networks
Adapting large systems to small machines
Fault Finder
Proceedings of the Second symposium on Small systems, SIGSMALL/PC 1979, Dallas, Texas, USA, October 1-3, 1979
Software reliability and validation (Panel Session)
SAUSTALL - a new software environment
ILEX an intelligent relational database system
Net/One: A commercial local area network
An office specification lanaguage based on path expressions
A Formalism for the Definition of Graphical Formulas
Small-X: an environment for constructing expert systems on a microcomputer
ARTEMIS - An Operating System for OSI Microcomputers
The language problem for small systems (Panel Session)
Microprocessor systems and architectures for applications to the control and protection of electric power systems
EEGADS! Department of Energy (DOE) provides free laboratory equipment to universities
A list-based storage for personal databases
LETTER: A system for personalizing processed text
A life cycle model of new product profitability
Performing the fast Fourier transform with a personal computer
Remote operations across a network of small computers
Basic Requirements and Main Features of a System Supporting the Reusability of Mathematical Software on Personal Computers
The automated generation of cross-system software for supporting micro/mini computer systems
Minicomputers, main frames, and distributed systems (Keynote Address)
The subsystem approach to enhancing small processor operating systems
Data base systems for small systems (Panel Session)
Numerical applications of minicomputers at the National Bureau of Standards
The role of simulation in the development of task-oriented computer architectures
Implementation of a VLSI Layout Tool on Personal Computers
Mass Market Computers for Software Development
Packet voice communicatins over PC based local area networks
The 'data shunt box' an easy, inexpensive way to transfer text files between computers
Interpretive execution of real-time control applications
EDGE: an extended directed graph editor and its applications
Teaching Digital Logic Design Using a Tape Recorder Simulator
Application of microcomputers to superconducting magnet experiments
Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, SIGSMALL 1983, San Diego, California, USA, December 7-9, 1983
An Approach to Tableau Inferencing with "Hardwired" Heuristics
Porting AIX onto the Student Electronic Notebook
ETOS - multi-lingual Time Sharing System for the PDP8
Economical typesetting from small computer text files
A microprocessor based tea dryer controller
Monitoring quality improvement on a PC
A comparative study of environments for database system implementation
A case study in software portability: the UNIX symbolic debugger
Experiences in the development of mathematical software for small computers
A comparison of relational database management systems UNIFY and iDB
The agency personal information system
Logical design of a reliable transaction management in a distributed multiple processor system
Remote Operation Calls in a Heterogeneous Environment
A digital video display system implemented on a KIM-1 microcomputer
HD-DBMS: an approach to integrating heterogeneous distributed database systems in the office environment
SFM: synchronizing forms manager
The Impact of the LCC-Optimization on the Performance of a Static Scope LISP Interpreter
Versatile Visual Programming Environment for Scientific Applications
Languages for expert system building: a comparison
Specification and Verification of Active Message Systems
VATS - the visible attributed translation system
JOYCE: A next generation personal computer
A stream-oriented approach to distributed query processing in a local area network
A low cost device for the real-time on-line entry of handprinted characters
Small systems performance in business (Panel Session)
A Programming Environment for Small Business
ALIEN: A Programming Environment Generator for Personal Computers
A Dynamic Memory Approach to Case Based Reasoning: AI Research on a Macintosh
SID: A Graphical Browser
A distributed operating system for an educational microcomputer network
Dynamic Data as Deterrent to the Tracker
Comparative Study of Database Management Systems on Microcomputers
Concurrent programming on microcomputers
Suggesting What to Do Next
Advanced programming aids in PROGRAPH
ABACUS/X an incremental compiler for minicomputer use
The conticomputer system a commodities database
Experience in the design, implementation and use of PL-11, a programming language for the PDP-11
Modeling jobs in a distributed system
An Object-Oriented Data Model for Partition Processing in Distributed Databases
Proceedings of the 5th ACM SIGSMALL symposium on Small systems, SIGSMALL 1982, Colorado Springs, Colorado, USA, August 2-4, 1982
Design and Implementation of a Portable Database System for Small Computers
Programming for everyone: A rationale and some teaching strategies
Video Graphic Query Facility Database Design
TOMAL-a high-level programming language for microprocessor process control applications
The DI-3000 implementation of the 1979 GSPC 'CORE' graphics standard
Decision tables - an effective programming tool
Disk Referencing Patterns in a Distributed Microcomputer UNIX Environment
Iconic Shells for Multitasking Workstations
A Portable Locking System for Local Area Networks
III - an integrated interactive incremental programming environment based on compilation
A device able to get and play music
Proceedings of the first SIGMINI symposium on Small systems, SIGMINI 1978, USA, August 2-3, 1978
Adaptive Power Management - A Hierarchical/Distributed System
Human factors of telephone-mediated interactive electronic games
Real-Time Reasoning with PROLOG
A microcomputer based automated specimen weighing and recording system
A Memory Adjustable Software System for Clustering and Retrieval
View-based Tool Integration in Database-Centered Environment
Speech analysis and synthesis on a personal computer
Algorithms for color analysis
The PHLOX project: Three data bases management systems for micro-computers
Designing Real-Time Software Systems
A Naming System for Feature-Based Service Specification in Distributed Operating Systems
Parallel computing on personal computers
An interprocess communication facility for the model a multi-microcomputer system
Object-Oriented Development of Integrated Programming Environments with ASDL
Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems, SIGSMALL/SIGPC 1980, Palo Alto, California, USA, September 18-19, 1980
Microprocessor-based approach to industrial devices quality control
Minicomputer software development using a maxicomputer
Efficient Generation of Lexically Proper Palindromes
Self Organizing Neural Networks with a Split/Merge Algorithm
System Integration in Multidatabases
Comparative performance of COBOL programs on mini vs. large computer systems
The Role of Workstations in the Information Utility: A Model for User-Oriented Information Systems
A common interface for multiple window computers
A practical, distributed environment for Macintosh software development
Characteristics of Files in NFS Environments
A Graphical Notation Editing System (AGNES) - Support for Database Modeling Using the Extended E-R Model
Performance characteristics of microcomputer Prolog implementations
Application of a software development methodology during the port of UNIX system V to the M68000tm family of microprocessors
Dynamically Displaying a Pascal Program in Color
A balanced view of MUMPS
IRAIN - an instructional relational database system designed for small computer system
Adequacy of Checksum Algorithms for Computer Virus Detection
Using Object-Orientation to Implement Logic Programming
MUIR - a Language Development Environment
Minicomputer programming languages
ASK: A Kernel for Programming Actor Systems
CP/M graph-plus: CP/M with graphic resources
Enhancement of interactive computer systems by distributed intelligence
THESIS: the hardware environment for small intelligent systems, for engineering applications
Using a Competitive Learning Neural Network to Evaluate Software Complexity
CLARE - A Prolog Database Machine
Using a personal computer as a debug engine
An interactive graphics editor for document preparation
Reliable commit and optimistic concurrency control for dynamically reconfigurable distributed databases
PEIRCE: A Relational DBMS for Small Systems
A Study of 80X86/80X87 Floating-Point Execution
SPSL/SPSA: A Minicomputer Database System for Structured Systems Analysis and Design
Micro-SEED and its application
Local network architectures
A dynamically self-adjusting structured editor
Parametric Performance Evaluation of a Micro-Based Database System
Writing device drivers: A systematic approach
COFESS: Cooperative Fuzzy Expert Systems for Intelligent Recognition on Small Computers
QBE/PC: the design of an integrated software system for a personal computer
An analysis of CP/NET
Knowledge-Based Understanding on a Small Machine
The Cost-Effective Integration of Microcomputers into a Campus Computing Environment
Moving decision points outward from applications and utilities and into command level
TILT: Translation in Leisure Time
Evaluation of Queuing System Parameters Using Linear Algebraic Queuing Theory - an Implementation
A High-Level Functional Query Language for a Small Relational System
The Micro Acturial Calculator - A Case Study
Multimicrocomputer system for building with full service facility automation
Data Bases for Microcomputers: The PEPIN Approach
Interactive bicriteria linear programming systems implemented on a personal computer
Development of educational software using the DEC PDP-11
Generating MC68000 code for Ada
Visual interactive production language systems
A C language extension for machine-independent programming
Increasing the Efficiency of Prolog Lexical Databases with N-gram Boolean Cubes
Recent developments in PC software (keynote address)
Position paper on microprocessor assembly language draft standard IEEE task P694/D11
Z-NET a microprocessor based local network
Performance Based Multiple Server Support for Distributed Real Time Applications
A Hierarchical Description of the Hermix Distributed Operating System
Mod-PROLOG, a modular, microcomputer oriented PROLOG
On a transportable high level language for minicomputers
PANDA: A Pascal network data base management system
A compiled picture language on Macintosh
International requirements in micro computer products
A data highway for realtime distributed systems architecture and formalization
The Growth of a Project or, Mushrooming Megabytes
Performance evaluation of three microcomputer based systems in a small business dataprocessing environment
ICMS: an intelligent cell memory system for real-time engineering applications
Structuring BASIC programs for managing overlays in a small computer system
Database services for personal computers linked by a local area network
A Personal Computer Based Expert System for Answering Student Questions in the CS1 Course
TALISMAN: A Prototype Expert System for Spelling Correction
Integration of Software Tools in Developing a Multiple Criteria Support System on a Personal Computer
Viewing messages as objects
Minimal Multitasking Operating System for Real-Time Controllers
An Architecture for a Relational Dataflow Database
The use of personal computers in teaching English composition
A data management system for a small computer
The Automated Desk
A CAD/CAM system based upon the iAPX 432
Applying Structured Tools and Techniques to the Development of Software for a Small Computer System
Program control via transition matrices - a novel application of micro-programming
TinyTalk, a subset of Smalltalk-76 for 64KB microcomputers
A framework for the generation of microcomputer-based application
An Object/Message Model for the Development of Integrated Workstation Software
A sophisticated microcomputer user interface
The concept of attached processing and attached resource computer systems (Paper Session)
Compiling the graphical functional language PROGRAPH
Redirect, pipe, and stdio in MS-DOS
Rosetta Smalltalk: a conversational, extensible microcomputer language
Replicating and allocating data in a distributed database system for workstations
A Little Implementation Language
A mini-micro computer link promotes distributed processing in scientific and engineering computations
Data base management system environments present and future
Data management in Electronic Funds Transfer Systems
Partition Detection and Optimistic Commit for Dynamically Reconfigurable Distributed Databases
A Dedicated Small Computer for Artificial Intelligence
KOALA: a cost effective workstation for fast LISP interpretation
Optimized machine-independent extended FORTRAN for minicomputer programming
MAUFI - a Meta-assembler with a user-friendly interface
The future of small systems (Distinguished Panel)
Using a preprocessor to implement a data manipulation language for a minicomputer data base system
Visual Programming in a X Windows Workstation Environment
Issues in corporate PC training
A network computer for distributed software research
Implementing SMART for Minicomputers via Relational Processing with Abstract Data Types
Experience designing the waterloo port user interface
XWIB: an X-Windows Interface Builder for Scientific and Engineering Application Programs
A multi-microprocessor system for parallel computations
Microcomputers are personal..
Structured design benefits to a process control software project
Design & application of a memory-coupled microprocessor network
Automatic code generation for microprocessor based systems
A Model for the Design of High Performance Protocols for a Networked Computing Environment
Predictive program synthesize
An integrated microprocessor support software system
An overview of the GCP programming language
Storage management in a Prolog compiler
Semantics of a communication mechanism in a distributed system
Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France
Experiences moving COBOL onto a minicomputer
Order processing and inventory control software related to computer user satisfaction: an interactive online evaluation system
A Framework to Support an Object-Oriented View of Existing Engineering Databases
CMOS new product development for the health care industry: Procedures and pitfalls
Software-Fault Detector for Microprocessors
Automated Test Plan Generator for Database Application Systems
Implementation and Manipulation of Formal Objects: An Object-Oriented View
A sorting routine of intermediate size and speed
MTIS approach for DSS development: a case example
A Formal Specification Tool for Office Systems
A User Interface for Database Creation Use and Maintenance
An optimizing compiler for LISP for the Z80
Tightly coupled operating systems on personal microcomputers
Adapting Software to the User's Cognitive Style: Field Dependence - Field Independence
Static and dynamic topological re-configurability in multi-microcomputer systems
An efficient, portable authoring language for microcomputers
FINNET - a homogeneous multiprocessor network
Integrated office information system "Lumiere": its communctions service experimental system
The Physiology of PROLOG Expert System Inference Engine
Design and implementation of a personal computer local network
Query processing in a distributed data base
ZROBOT: a new CAD/CAM environment to program robot control by animated graphics
Grouper: An Expert System for Redistricting
Using an Artificial Neural System to Determine the Knowledge Base of an Expert System
Design and implementation of a resource sharing system as an extension to a personal computer operating system
A Microcomputer Implementation of an ER Query Interface
Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, SIGMINI 1976, New Orleans, Louisiana, USA, March 4-6, 1976
Microcomputer access to cross software systems
RTFILE: Advanced Data Management for DEC LS-11s and PDP-11s Running the RT-11 Operating System
Proving the correctness of a flight-director program for an airborne minicomputer
Edmund: A Multicast Kernel for Distributed Application
An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus
Comparison of UNIX network systems
A Highly Integrated Tool Set for Program Development Support
Semantic Assistance Nets
Joint Proceedings of SIGSMALL Symposium on Small Systems and SIGMOD Workshop on Small Database Systems, SIGSMALL/SIGMOD 1981, Orlando, Florida, USA, October 13-15, 1981
DCA: An Expert System for Auditing Data Communications
The application of token rings to local networks of personal computers
Microcomputer monitoring of controls in the clinical laboratory
Research on Rural Communication and the Microcomputer Controlled Modem and Telephone
STP: A Simple Theorem Prover for IBM-PC Compatible Computers
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA
MESSIDOR System
Fuzzy Belief Networks
A practical application of Parnas modular approach
What makes things fun to learn? heuristics for designing instructional computer games
Corporate integration through systems software
Flexible and efficient network services
A direct execution PROLOG system
Proceedings of the 1991 ACM SIGSMALL/PC Symposium on Small Systems, June 12-14, 1991, Toronto, Canada
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, SIGSMALL 1985, Danvers, Massachusetts, USA, 1985
Limiting a Resolution Set in a Large Prolog Database Using Special Hardware
An Integrated FORTH System
Microprocessor assembly language draft standard IEEE task P694/D11
Basic for realtime control applications
Performance Comparison of Extendible Hashing and Linear Hashing Techniques
Tutorial: Agent-Oriented Software Engineering
Targeted messages in indoor mobile environment: A software - oriented approach
Aspect-oriented Dependency Injective Service Gateway for Web Services Aggregation
Definition and Detection of Semantic Warnings for VoiceXML
IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004
Formal fault tree construction and system safety analysis
An Experience of continuous development - formulating requirements concurrently with system implementation
An Aspect-oriented Approach to Modular Behavioral Specification of Java Components
A Logical Approach for Testing Requirements
Graph Repository as a Core of Environment for Distributed Software Restructuring and Refactoring
Ontology-based Learning Applications: A Development Methodology
Fusing Folds and Data Structures into Zoetic Data
Mapping UML statecharts to java code
Checking for Consistency between Different UML Models
An Explorative, Operational Method Supporting Usability Evaluation of Technology Changes in Work Contexts
A CMMI-based self evaluation of capability maturity level for software organizations
A Graduate's Role in Technology Transfer: From Requirements to Design with UML
Supporting the Comprehension of Object-oriented Software Systems by Extended M-M Graph
Efficiency Increase in Random Testing using MPI-based Parallelization