yusuke1997/dblp-id-title huggingface dataset:
Synchronization as a framework for distributed system fault-tolerance design
The GARF Library of DSM Consistency Models
Distributing processing without DPEs: design considerations for public computing platforms
Position paper for the ACM SIGOPS workshop 1988
A utility-centered approach to building dependable infrastructure services
A sledgehammer approach to reuse of legacy device drivers
Six misconceptions about reliable distributed computing
The V distributed operating system: principles and principal experiences
On architecture transparency in operating systems
Applying source-code verification to a microkernel: the VFiasco project
CarNet: a scalable ad hoc wireless network system
A method for testing distributed systems
Distributed simulation using a look-ahead algorithm
Functionally distributed systems
Building appliances out of components using Pebble
Shared logging services for fault-tolerant distributed computing
Transparent logging as a technique for debugging complex distributed systems
An asynchronous distributed systems platform for heterogeneous environments
Objects to the Rescue! or httpd: the next generation of operating system
Using time travel to diagnose computer problems
AP3: cooperative, decentralized anonymous communication
Smart cabling: an overview
The role of domains in large-scale distributed systems
Undo for anyone, anywhere, anytime
Transparent disconnected operation for fault-tolerance
Large-scale distributed systems
Techniques for handling scale and distribution in virtual worlds
A Caching Model of Operating System Kernel Functionalities
Replicated invocations in wide-area systems
Transactional file systems can be fast
Timing fault detection for safety-critical real-time embedded systems
Cryptographic support for fault-tolerant distributed computing
Fault-tolerance support in distributed systems: position paper
Simulating wide-area replication
Some aspects of the GOTHIC system
Model checking system software with CMC
Let's put NetApp and CacheFlow out of business!
Replication, reconfiguration, and the Argus mail repository
An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture
Distributed systems and OSI
Commons: resource sharing and protection in mobile appliance OS
New channels, old concerns: scalable and reliable data dissemination
An architecture for a wide area distributed system
Making distributed systems work: position paper for Amsterdam workshop
Rewind, repair, replay: three R's to dependability
Distributed computing software project
RPC stubs for distributed modules
Multiprocessing and portability for PDAs
Using the web to coordinate distributed applications
Dual objects - an object model for distributed system programming
Autonomy and cooperation in distributed CIM systems
The Bugnet distributed debugging system
Automating data dependability
Impeding attrition attacks in P2P systems
The case for cyber foraging
Back to the future: dependable computing = dependable services
Domain model of autonomy
Quality of service for wide area clusters
Impact of Application Scale and Diversity on File Systems
Autonomy or interdependence in distributed systems?: a position paper
SPIN - An Extensible Microkernel for Application-specific Operating System Services
Context-aware multimedia computing in the intelligent hospital
Gaining and maintaining confidence in operating systems security
Geographical and organisational locality in active environments
Constructing distributed groupware systems: a walk on the Wilde side
The case for transient authentication
Domains and dynamic loading: reconciling autonomy and integration
Transparent optimistic rollback recovery
Mechanisms for effective caching in the Globe location service
Adding realtime applets and quality of service support to the world wide web
Programming environments for distributed applications and communications
Extensible distributed operating system for reliable control systems
Trust but verify: accountability for network services
Irreproducible benchmarks might be sometimes helpful
Operating system support for transactions
Increasing smart card dependability
On building very large naming systems
Optimistic Active Messages: Structuring Systems for High-Performance Communication
Bayou: replicated database services for world-wide applications
Modula-3 network objects over ANSA: heterogeneous object-based RPC in a modern systems programming language
Autonomy and interdependence in the DUNIX system
System support for mobility
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets
Software clercks
Design issues in the Cosmos distributed operating system
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, Sintra, Portugal, 7-10 September 1998
Programming language support for replication in fault-tolerant distributed systems
Gaia: enabling active spaces
Studying and using failure data from large-scale internet services
Specifying and verifying systems with TLA+
Structuring fault-tolerant object systems for portability
The use of name spaces in plan 9
Using AOP to develop architectural-neutral operating system components
Balancing configurability and efficiency in network support tools
Defending against eclipse attacks on overlay networks
Autonomy vs. interdependence in the networked resource discovery project
Distributed programming for autonomous systems
Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs
An approach to application software fault tolerance
Name borders
Object Spaces, Cooperation Spaces and Groups
Understanding transactions in the operating in the operating system context
Single Address Space or Private Address Spaces?
RPC-level support for object-oriented distributed programming
A design of the persistent operating system with non-volatile memory
Flexible distributed programming using mobile code
Fault tolerance support in distributed systems: a position paper
Event-driven programming for robust software
Fault tolerance using group communication
Transportable agents support worldwide applications
System support for shared objects
Position: short object lifetimes require a delete-optimized storage system
OASIS project: deterministic real-time for safety critical embedded systems
Submission to the European SIGOPS workshop, 1988
Controllled flexibility in system design
An overview of the Rialto real-time architecture
Stable transactional memories and fault tolerant architectures
Transparency and reflection in distributed systems
Applying high-level language paradigms to distributed systems
Fault tolerance support in distributed systems: every silver lining has a cloud
Towards a world-wide civilization of objects
Separating durability and availability in self-managed storage
Data lifetime is a systems problem
Infrastructure for mobile agents
Eluding carnivores: file sharing with strong anonymity
Current work on authentication
Security versus performance tradeoffs in RPC implementations for safe language systems
Imposing transactional properties on distributed software atchitectures
A replicated Unix file system
Distributed homogeneous operating systems
Distributed computing research at University College London
Towards robust OSes for appliances: a new approach based on domain-specific languages
When physical is not real enough
Trade-offs between response times and availability in a distributed database
Escaping the evils of centralized control with self-certifying pathnames
Making distributed systems palatable
Caching trust rather than content
Maintaining consistency in distributed systems
A customizable library to support software synthesis for embedded applications and micro-kernel systems
Compensation functions and requirements
Making real-time reactive systems reliable
Trust and confidence in open systems: does security harmonize with mobility?
Distributed system support for voice in Cedar
Distributed object oriented systems with fault tolerance
Supporting storage and retrieval of computer and human activity
Self-organization in peer-to-peer systems
A system architecture for pervasive computing
Supporting broad internet access to TACOMA
The raddle project at MCC
Project summary for ACM SIGOPS workshop on "making distributed systems work"
Request extraction in Magpie: events, schemas and temporal joins
Position paper: the role of platforms and operating systems in supporting home networks
Application-Aware Adaptation for Mobile Computing
Object-based distributed computation in the Guide operating system
A RISC approach to process groups
Operating System Performance and Large Servers
An assessment of the remote procedure call mechanism
"Y": a distributed resource sharing system
Making distributed systems work: position paper
The ISIS project: real experience with a fault tolerant programming system
Abstractions for continuous media in heterogeneous distributed systems: the role of groups
CryptoCache: a secure sharable file cache for roaming users
Polynets: providing reliable communications for distributed systems
Distributed academic computing
"Don't hide power"
Object-orientation as an appropriate paradigm for high-performance environments for scientific computing
Fault tolerance and avoidance in biomedical systems
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, UK, September 18-21, 1988
On Group Communication in Large-Scale Distributed Systems
Security Requirements for Cooperative Work: a Model and its System Implications
Introducing contextual objects in an adaptive framework for wide-area mobile computing
The persistent relevance of the local operating system to global applications
Requirements for high performance group support in distributed systems
Autonomy, local autonomy, and coherence in naming in distributed computer systems
Designing application software in wide area network settings
The Saguaro distributed operating system and related projects
Specifying data availability in multi-device file systems
A missionary position: ACM SIGOPS European workshop 1988
MMLite: a highly componentized system architecture
ACM SIGOPS European workshop 1988: position paper
Relaxing the limitations of serializable transactions in distributed systems
Security architectures revisited
Position statement for ACM SIGOPS European workshop 1988
"Making distributed systems work" position statement
Matching Data Storage to Application Needs
URSA tm : a distributed system for information handling and retrieval
Group orientation: a paradigm for modern distributed systems
The benefits of event: driven energy accounting in power-sensitive systems
Design of fault tolerant distributed systems: the fail-controlled approach
NILE: wide-area computing for high energy physics
Fault tolerance with shared objects and nested transactions
Fault-tolerance in delta-4
The firecracker protocol
Problem-oriented shared memory revisited
Towards a family of distributed systems
Fault-tolerance in the advanced automation system
Operating system support for communications
Project: the structure of the HERMIX distributed operating system
Fault tolerance support in distributed systems
Preliminary thoughts on memory-bus scheduling
Chip multithreading systems need a new operating system scheduler
Overload management as a fundamental service design primitive
A formalism for fault-tolerant applications in asynchronous systems
Dynamic actions: a flexible model integrating fault-tolerant and real-time requirements of distributed systems
Contrasting fragmented objects with uniform transparent object references for distributed programming
Resource-level autonomy in CHORUS
Brittle systems will break - not bend: can aspect-oriented programming help?
Convenient Abstractions in StormCast Applications
On the use of load balancing mechanisms for fault tolerance support
Better Mousetraps
A File System Interface for Concurrent Access
Emerald paradigms for distributed computing
Design and implementation of the Lambda mu-kernel based operating system for embedded systems
Lessons from Norstar's distributed call processing system
Some experiences with distributed systems in the INCAS project
Scalable information sharing in large scale distributed systems
A general purpose distributed operating system for a hypercube
Extensible Systems - The Tigger Approach
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990
A stake in cyberspace
Hidden capabilities: towards a flexible protection utility for the internet
Rule-based management of distributed operating systems
Fault-tolerance in very large archival systems
HiScamp: self-organizing hierarchical membership protocol
The Cronus distributed operating system
A replicated, distributed file system
MAP: an open multidatabase system architecture
Interdependent maintenance of distributed applications
Providing an embedded software environment for wireless PDAs
Distributed systems already work at BNR
The SawMill multiserver approach
The R2 low-power messaging and rendezvous layer: power efficient communications for tetherless computing
RAID: a robust and adaptable distributed system
Towards a real-world wide web
Fighting the politics with technology
QoS for internet services: done right
A transactional workflow based distributed application composition and execution environment
Proceedings of the 1st ACM SIGOPS European Workshop, Rüschlikon, Switzerland, January 28-30, 1985
Fault-tolerant parallel computing
An approach to benchmarking configuration complexity
The lonely NATed node
InfoSpect: using a logic language for system health monitoring in distributed systems
High-level constructs in the READY event notification system
An online evolutionary approach to developing internet services
A dynamically configurable, multi-language execution platform
Composing distributed applications through generative communication
Dependable software needs pervasive debugging
9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995
Efficient Second-Order AC-Matching Algorithm
Redundancy and Saturation
On the Unification of Term Schemata
Unification in the Description Logic EL is of Type Zero
Oriented Equational Logic Programming is Complete
Approximately Solving Set Equations
Nominal Algorithms: Applications and Extensions
A Decidable Second-Order Unification Problem
Matching with respect to general concept inclusions in the Description Logic EL
Let's Unify With Scala Pattern Matching!
A, C, and AC Nominal Anti-Unification
String Unification is Essentially Infinitary
Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract)
Rewriting in Protocol Verification
First-order unification using variable-free relational algebra
Notes on Lynch-Morawska Systems
An Attempt of Integration of LSE Narrowing and Directed Narrowing
Unification in predicate logic
Proximity-Based Unification with Arity Mismatch
Automated Symbolic Proofs of Security Protocols
Feature Trees over Arbitrary Structures
Computing finite variants for subterm convergent rewrite systems
Unification on the Run
Towards a better-behaved unification algorithm for Coq
Precedence Constraints in Tempo
Unification of anti-terms
Some Results on Prefix Grammars
Matching with Membership Constraints for Hedge and Context Variables
Hierarchical Combination of Matching Algorithms (Extended Abstract)
Linear diophantine equations, Presburger arithmetic and finite automata
A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains
Two-sided unification is NP-complete
Unification in the normal modal logic Alt1
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020
Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract)
Terminating Non-Disjoint Combined Unification (Extended Abstract)
Invited talk: Unification in Cryptographic Protocol Analysis
Matching linear and non-linear trace patterns with regular policies
Projective Unifiers in Modal Logics
Universal freeness and admissibility
A Rule-Constructive Geometric Constraint Solver
Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011
From Admissibility to a New Hierarchy of Unification Types
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary
Constraint Manipulation in SGGS
Does Unification Help in Normalization?
Joint Constraint Abduction Problems
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract)
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014
Type unification for structural types in Java (Extended Abstract)
Objects communication by extending the unification
Normalization Properties of Typeable Term Rewriting Systems (Abstract)
A tractable logic of types
Computing Local Unifiers in the Description Logic EL without the Top Concept
Extensible Symbolic System Analysis
An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent
Undecidability of second-order complement problems
On decision problems for second order unification
Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008
Lynch-Morawska Systems on Strings
Unification modulo Homomorphic Encryption is Decidable
Lazy Narrowing: Strong Completeness and Eager Variable Elimination
About the unification type of K+☐☐⊥
Unification of Drags
Equational Unification by Variant Narrowing (Extended Abstract)
From Elliott-Mac Mahon to an algorithm for general linear constraints on naturals
EXTRA: A Tool for Data Expression Transformation in an FDT Environment
An Investigation into General Nominal Equational Problems (Work in progress)
Higher-Order Unification for the λ αν calculus
A Categorical Perspective on Pattern Unification (Extended Abstract)
On the Limits of Second-Order Unification
Overlap and Independence in Multiset Comprehension Patterns
Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables
Solving equations in pure double Boolean algebras
Unification Modulo Common List Functions
Beitragsband zum Workshop "Grundlagen und Anwendungen mobiler Informationstechnologie" des GI-Arbeitskreises Mobile Datenbanken und Informationssysteme, Heidelberg, 23.-24. März 2004
Implementierung von Konfliktvermeidungstechniken für den mobilen Datenbankzugriff
User-Toolkits zur dienstbasierten Entwicklung mobiler Applikationen
Ein Rahmenwerk zur Repräsentation von sich bewegenden Objekten
Anforderungen an mobile Geo-Datenbanken für Katastropheninformations- und -warnsysteme
Mobile Datenbanksysteme von IBM: Aktuelle Informationen jederzeit überall im Zugriff
Enhanced User Support for Mobile Ad-hoc-Processes
Anfraggeneralisierung zur komprimierten Repräsentation von Indexen semantischer Caches auf mobilen Endgeräten
Hunting for Mobile Information - A Report on the Lab Course "Mobile Databases"?
Datenströme im Kontext des Verkehrsmanagements
Konzeption geräteübergreifender Anwendungen
Evaluation of a Criticality-Based Method for Generating Location Updates
Restrukturierung der TK-Netze zur Reduzierung der Komplexität
Kontextsensitive Informationsfilter
Überblick und Vergleich von Technologien als Grundlage einer Middleware für mobile Informationssysteme
Flexible Fehlerbehandlung für mobile Ad-hoc-Prozesse
Asynchronous Service Discovery in Mobile Ad-hoc Networks
Sensor Data Stream Processing in Health Monitoring
Generischer Zugriff auf Lotus Notes Datenbanken mit mobilen Endgeräten unter Verwendungen von Portaltechnologien
Vorschlag für eine Architektur zur Personalisierung und Individualisierung mobiler Dienste
Mobile Kommunikation in der ambulanten häslichen Pflege
Mobilität und Informationssysteme, Workshop des GI-Arbeitskreises "Mobile Datenbanken und Informationssysteme", 16./17. Oktober 2003, Zürich
Ein verteilter XML-Speicher in Ad-hoc-Netzwerken
Checking XPath Expressions for Synchronization, Access Control and Reuse of Query Results on Mobile Clients
Ortung von mobilen Geräten für die Realisierung lokationsbasierter Diensten
Möglichkeiten der Anfragebearbeitung in mobilen Ad-hoc-Netzwerken
Kontext-Middleware zur Verwaltung dynamischer und unvollkommener Kontextinformationen
Adaptive Datenverteilung in mobilen Ad-hoc Netzen unter Verwendung des Area Graph basierten Bewegungsmodells
Mobiles computerbasiertes Lernen in der anatomischen Lehre
Erfahrungsbericht "Komponenten für mobile Anwendungen"
Eine Mobile Business Anwendung mit zeitnahmen Datenabgleich
Persistence, Scalability, Transactions - Database Mechanisms for Mobile Applications, Workshop by the GI-Arbeitskreis "Mobile Datenbanken", April, 10-11th, 2003 in Karlsruhe
Vision mobiler Geodienste
Fragmentbildung zur Unterstützung der nutzerdefinierten Replikation
Implementierungskonzepte und Anwendungsentwicklung kommerzieller mobiler Datenbanksysteme: Ein Vergleich
Cache-supported Processing of Queries in Mobile DBS
Implementierung eines medizinischen Kommunikationsstandards auf einem PDA unter Linux
Projekt MOBILO: Informationssysteme für mobilitätsbeeinträchtigte Personen
Konzeption eines interaktiven mobilen Reiseinformationssystem
Environmental scenarios and requirements stability
Customizing model migrations by rule schemes
Towards Constructing Component-Based Software Systems with Safe Dynamic Adaptability
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), Antwerp, Belgium, September 20-21, 2010
Challenges in Software Evolution
Evolution in adaptive hypermedia systems
Using the gini coefficient for bug prediction in eclipse
7th International Workshop on Principles of Software Evolution (IWPSE 2004), 6-7 September 2004, Kyoto, Japan
A verification of class structure evolution model and its parameters
Towards a Software Evolution Benchmark
Why is Distributed System Evolution Not Better Supported?
A Trace Model for System Requirements Changes on Embedded Systems
Graphical simulation of the dynamic evolution of the software architectures specified in Z
Towards self-adaptive software-intensive systems
Process-Centric Analytical Processing of Version Control Data
Towards an Aspect-Oriented Agile Requirements Approach
Model Evolution with Aspect-Oriented Mechanisms
Structural analysis and visualization of C++ code evolution using syntax trees
Redocumentation of a legacy banking system: an experience report
Recycling Software Components Extracted from Legacy Programs
Quantitative Observations on Object Evolution
Network analysis of OSS evolution: an empirical study on ArgoUML project
A software model for flexible & safe adaptation of mobile code programs
A unified Approach for Software Architecture Evolution at different abstraction levels
Supporting Web Application Evolution by Dynamic Analysis
An Evolutive Architecture Reasons as a Semiotic, Hermeneutic and Autopoietic Entity
An approach to evolving database dependent systems
Studying The Evolution of Software Systems Using Evolutionary Code Extractors
A Supporting Method of the Evolution of State Diagrams with Scenarios
Evolution patterns of open-source software systems and communities
Challenges in model-based evolution and merging of access control policies
CVS Release History Data for Detecting Logical Couplings
Do metrics help to identify refactoring?
Reengineering a PC-Based System into the Mobile Device Product Line
Towards a benchmark for traceability
Research friendly software repositories
Applying lehman's laws to game evolution
Perspectives on automated correction of bad smells
Software Evolution in the Era of Software Services
Using Simulation to Facilitate the Study of Software Product Line Evolution
Clustering and Concept Analysis for Software Evolution
Fostering component evolution with C# attributes
EvoLens: Lens-View Visualizations of Evolution Data
Software Quark Model: An Elementary Particle Model for Measuring Software Evolution
Tracking performance failures with rizel
The Evolution of Software Evolvability
Learning lessons from the past: how IWPSE has started, and where we should go