A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Andrew: a distributed personal computing environment
Communications of the ACM - The MIT Press scientific computation series
Deadlock-Freedom (and safety) of transactions in a distributed database
Journal of Computer and System Sciences
Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
Building an open system
The overhead of locking (and commit) protocols in distributed databases
ACM Transactions on Database Systems (TODS)
Automatic design of graphical presentations
Automatic design of graphical presentations
A robust ring transmission protocol
Computer Networks and ISDN Systems
Communications of the ACM
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Process semantics: universal axioms compositional rules, and applications
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
The data model and query language of LauRel
Data Engineering
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
Expressing structural hypertext queries in graphlog
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
NEST: a network simulation and prototyping testbed
Communications of the ACM - Special issue on simulation
INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimistic parallelization of communicating sequential processes
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Hermes: a language for distributed computing
Hermes: a language for distributed computing
The use of encryption in Kerberos for network authentication (invited)
CRYPTO '89 Proceedings on Advances in cryptology
Restoring consistent global states of distributed computations
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Camelot and Avalon: a distributed transaction facility
Camelot and Avalon: a distributed transaction facility
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Implementing X.400 and X.500: The PP and Quipu Systems
Implementing X.400 and X.500: The PP and Quipu Systems
IEEE Transactions on Parallel and Distributed Systems
Query Transformation for PSJ-Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
LOCUS a network transparent, high reliability distributed system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Algorithms for Drawing Graphs: An Annotated Bibliography
Algorithms for Drawing Graphs: An Annotated Bibliography
High-level language support for programming distributed systems
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Supporting database access in the Hermes programming language
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Nestmod: the NetMod - NEST interface
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A simulation model for X.500 directories: initial experiences
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Analysis of X.500 distributed directory refresh strategies
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Name space models for locating services
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Network management by delegation: the MAD approach
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Narratives of space and time: visualization for distributed applications
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Distributed Computing
Architecture and applications of the Hy+ visualization system
IBM Systems Journal
Supporting communications infrastructure evolution
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An Experience Report on Architecture Development
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Narratives of space and time: visualization for distributed applications
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
An integrated distributed systems management architecture
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Using Hy+ for network management and distributed debugging
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Managing heterogeneous distributed computing systems: using information repositories
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Hi-index | 0.00 |
The main objective of the proposed research described here is to create a prototype environment for developing and managing distributed applications. Its specific focuses are: building extensions to third-generation languages to exploit the process model; developing a new high-level language based on the process model; designing new techniques for recovery and network transport abstractions; network management techniques for distributed applications; modelling and analysis of distributed systems; integration of transaction, database and directory services to support distributed applications; distributed debugging; and visualization of distributed applications. The environment is to be built upon existing platforms, such as X-windows, Motif, Open Software Foundation's Distributed Computing Environment (OSF/DCE), ISO Open Systems Interconnect (ISO/OSI), Systems Application Architecture (SAA). This collaborative research brings together experts in different areas of computer science and the technologies and tools developed will be experimentally validated through the construction of distributed applications operating across the member sites.