Home »
Academic Articles & Research Papers
Showing 20 of 23,220 academic articles
Peter R. Pietzuch, Brian Ninham Shand, Jean Bacon • Lecture notes in computer science
(2003)
1 Introduction Event-based communication has become a new paradigm for building large-scaledistributed systems. It has the advantages of loosely coupling communication partners, being extremely scalable, and providing a simple application p...
OPENALEX
DOI: https://doi.org/10.5555/1515915.1515921
Daniel Grosu, Anthony Theodore Chronopoulos • Journal of Parallel and Distributed Computing
(2005)
OPENALEX
DOI: https://doi.org/10.1016/j.jpdc.2005.05.001
Bengt Jönsson • ACM Transactions on Programming Languages and Systems
(1994)
We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composi...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/174662.174665
Morrie Gasser, Andy Goldstein, Charlie Kaufman, Butler Lampson (1989)
The Digital Distributed System Security Architecture is a comprehensive specification for security in a distributed system that employs state-of-the-art concepts to address the needs of both commercial and government environments. The archi...
OPENALEX
Ratan K. Ghosh, Hiranmay Ghosh • Wiley eBooks
(2023)
Distributed Systems Comprehensive textbook resource on distributed systems—integrates foundational topics with advanced topics of contemporary importance within the field Distributed Systems: Theory and Applications is organized around thre...
OPENALEX
DOI: https://doi.org/10.1002/9781119825968
Sukumar Ghosh • Chapman & Hall/CRC eBooks
(2014)
Distributed Systems: An Algorithmic Approach, Second Edition provides a balanced and straightforward treatment of the underlying theory and practical applications of distributed computing. As in the previous version, the language is kept as...
OPENALEX
DOI: https://doi.org/10.1201/b17224
Ewa Deelman, Gurmeet Singh, Mei-Hui Su, James Blythe et al. • Scientific Programming
(2005)
This paper describes the Pegasus framework that can be used to map complex scientific workflows onto distributed resources. Pegasus enables users to represent the workflows at an abstract level without needing to worry about the particulars...
OPENALEX
cc-by
DOI: https://doi.org/10.1155/2005/128026
Andreas Bolfing • Oxford University Press eBooks
(2020)
Abstract Chapter 5 considers distributed systems by their properties. The first section studies the classification of software systems, which is usually distinguished in centralized, decentralized and distributed systems. It studies the dif...
OPENALEX
DOI: https://doi.org/10.1093/oso/9780198862840.003.0005
Hutchison, David, Demetri Terzopoulos, John C. Mitchell, Friedemann Mattern et al. • Lecture notes in computer science
(2008)
OPENALEX
DOI: https://doi.org/10.1007/978-3-540-92221-6
R. J. Cyper (1978)
OPENALEX
Richard Koo, Sam Toueg • eCommons (Cornell University)
(1986)
We consider the problem of bringing a distributed system to a consistent state after transient failures. We address the two components of this problem by describing a distributed algorithm to create consistent checkpoints, as well as a roll...
OPENALEX
DOI: https://doi.org/10.5555/324493.325074
Michael C. Loui • Information and Control
(1984)
OPENALEX
Open Access
DOI: https://doi.org/10.1016/s0019-9958(84)80022-4
Emil Lupu, Morris S. Sloman • IEEE Transactions on Software Engineering
(1999)
Modern distributed systems contain a large number of objects and must be capable of evolving, without shutting down the complete system, to cater for changing requirements. There is a need for distributed, automated management agents whose ...
OPENALEX
DOI: https://doi.org/10.1109/32.824414
Morris S. Sloman • Journal of Network and Systems Management
(1994)
OPENALEX
DOI: https://doi.org/10.1007/bf02283186
P. Venkat Rangan • IEEE Symposium on Security and Privacy (S&P)
(2003)
He introduces basic notions about developing a logic or a theory, and shows that modal logics of belief, with their Kripe-style possible-worlds semantics, are appropriate for basing a theory of trust on. He reviews a modal logic of belief, ...
OPENALEX
DOI: https://doi.org/10.1109/secpri.1988.8112
Roberto Baldoni, Binoy Ravindran, Paola Flocchini • Lecture notes in computer science
(2012)
OPENALEX
DOI: https://doi.org/10.1007/978-3-642-35476-2
William L. Brogan • IEEE Transactions on Automatic Control
(1972)
OPENALEX
DOI: https://doi.org/10.1109/tac.1972.1100075
Andrew S. Tanenbaum, Maarten R. van Steen • VU Research Portal
(2007)
OPENALEX
Anna Hác • ACM SIGMETRICS Performance Evaluation Review
(1989)
Most distributed systems are characterized by distribution of both physical and logical features. The architecture of a distributed system is usually modular. Most distributed systems support a varying number of processing elements. The sys...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/1041911.1041912
Jonathan Moffett, Morris S. Sloman • IEEE Journal on Selected Areas in Communications
(1993)
Distributed system management, involves monitoring the activity of a system, making management decisions and performing control actions to modify the behavior of the system. Most of the research on management has concentrated on management ...
OPENALEX
DOI: https://doi.org/10.1109/49.257932