Home »
Academic Articles & Research Papers
Showing 20 of 280 academic articles
O. Kupermann, M.Y. Varfi • ACM/IEEE Symposium on Logic in Computer Science (LICS)
(2002)
In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is distributed, the goal is to construct the system's underlying processes. Results on multi-player games imply...
OPENALEX
DOI: https://doi.org/10.1109/lics.2001.932514
Sumi Helal, Abdelsalam A. Heddaya, Bharat B. Bhargava • Kluwer Academic Publishers eBooks
(2002)
Replication Techniques in Distributed Systems organizes and surveys the spectrum of replication protocols and systems that achieve high availability by replicating entities in failure-prone distribute...
OPENALEX
DOI: https://doi.org/10.1007/b101825
Matthias Wiesmann, Fernando Pedone, A. Schiper, Bettina Kemme et al. • IEEE International Conference on Distributed Computing Systems (ICDCS)
(2002)
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspects: model, assumptions, mechanisms, guarantees provided, and ...
OPENALEX
Open Access
DOI: https://doi.org/10.1109/icdcs.2000.840959
Flaviu Cristian, Christof W. Fetzer • IEEE Transactions on Parallel and Distributed Systems
(1999)
We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adeq...
OPENALEX
DOI: https://doi.org/10.1109/71.774912
J. L. Lions • SIAM Review
(1988)
Exact controllability is studied for distributed systems, of hyperbolic type or for Petrowsky systems (like plate equations). The control is a boundary control or a local distributed control. Exact controllability consists in trying to driv...
OPENALEX
DOI: https://doi.org/10.1137/1030001
Maarten R. van Steen, Andrew S. Tanenbaum • Computing
(2016)
Distributed systems are by now commonplace, yet remain an often difficult area of research. This is partly explained by the many facets of such systems and the inherent difficulty to isolate these facets from each other. In this paper we pr...
OPENALEX
cc-by
DOI: https://doi.org/10.1007/s00607-016-0508-7
Andrew S. Tanenbaum, Maarten R. van Steen (2007)
OPENALEX
Emre Dalkıran, Tolga Önel, Okan Topçu, Kadir Alpaslan Demir • Defence Technology
(2021)
Various application domains require the integration of distributed real-time or near-real-time systems with non-real-time systems. Smart cities, smart homes, ambient intelligent systems, or network-centric defense systems are among these ap...
DOAJ
Open Access (DOAJ)
DOI: 10.1016/j.dt.2020.01.005
Tawei Chou, Jacob A. Abraham • IEEE Transactions on Software Engineering
(1982)
In a distributed computing system made up of different types of processors each processor in the system may have different performance and reliability characteristics. In order to take advantage of this diversity of processing power, a modu...
OPENALEX
DOI: https://doi.org/10.1109/tse.1982.235574
Thomas Y. C. Woo, Simon S. Lam • Computer
(1992)
A number of protocols used to authenticate users, hosts and processes are described. The three main types of authentication in a distributed computing system-message content authentication, message origin authentication, and general identit...
OPENALEX
DOI: https://doi.org/10.1109/2.108052
A.L. Ananda, G.-S. Poo • Computer Communications
(1995)
OPENALEX
DOI: https://doi.org/10.1016/0140-3664(95)90005-5
Armin Liebl • ACM SIGOPS Operating Systems Review
(1993)
Security of distributed systems is a topic of growing importance.The security breaches of the last few years (internet worm .... ) have demonstrated the need for additional research in this area.One important aspect of security is authentic...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/163640.163643
Friedemann Mattern (2002)
A distributed system can be characterized by the fact that the global state is distributed and that a common time base does not exist. However, the notion of time is an important concept in every day life of our decentralized "real world" a...
OPENALEX
David R. Cheriton • Communications of the ACM
(1988)
The V distributed System was developed at Stanford University as part of a research project to explore issues in distributed systems. Aspects of the design suggest important directions for the design of future operating systems and communic...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/42392.42400
P. Jogalekar, Murray Woodside • IEEE Transactions on Parallel and Distributed Systems
(2000)
Many distributed systems must be scalable, meaning that they must be economically deployable in a wide range of sizes and configurations. This paper presents a scalability metric based on cost-effectiveness, where the effectiveness is a fun...
OPENALEX
DOI: https://doi.org/10.1109/71.862209
Huaizhi Li, Mukesh Singhal • Computer
(2007)
Distributed systems such as the Internet, peer-to-peer networks, and mobile ad hoc networks involve numerous entities, many of which haven't previously interacted. Trust management can help minimize risk and ensure the network activity of b...
OPENALEX
DOI: https://doi.org/10.1109/mc.2007.76
Leonard Kleinrock • Communications of the ACM
(1985)
Growth of distributed systems has attained unstoppable momentum. If we better understood how to think about, analyze, and design distributed systems, we could direct their implementation with more confidence....
OPENALEX
Open Access
DOI: https://doi.org/10.1145/4547.4552
Jeff Magee, Jeff Kramer, Morris S. Sloman • IEEE Transactions on Software Engineering
(1989)
The Conic environment provides a language-based approach to the building of distributed systems which combines the simplicity and safety of a language approach with the flexibility and accessibility of an operating systems approach. It prov...
OPENALEX
DOI: https://doi.org/10.1109/32.24720
Martı́n Abadi, Michael T. Burrows, Butler Lampson, Gordon D. Plotkin • ACM Transactions on Programming Languages and Systems
(1993)
We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a logical perspective. We account for how a principal may come to believe that another principal is making a request, either on his own...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/155183.155225
Richard Koo, Sam Toueg • IEEE Transactions on Software Engineering
(1987)
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.1109/tse.1987.232562