Reset
Showing 20 of 2,633 academic articles

Structured Graphics for Distributed Systems

Keith A. Lantz, William I. Nowicki • ACM Transactions on Graphics (1984)

One of the most important functions of an intelligent workstation is to provide a state-of-the-art user interface to distributed resources.One aspect of such an interface is virtual terminal support for both local and remote applications wi...

OPENALEX Open Access DOI: https://doi.org/10.1145/357332.357334

1. Pointwise Control for Distributed Systems

J. L. Lions • Society for Industrial and Applied Mathematics eBooks (1992)

1.1. Introduction. We consider in this chapter systems modeled by Partial Differential Equations of evolution, i.e., evolution distributed systems. We suppose that we can act on the system only at some particular points, this is the so-call...

OPENALEX DOI: https://doi.org/10.1137/1.9781611970982.ch1

Pegasus: A Framework for Mapping Complex Scientific Workflows onto Distributed Systems

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

Detection of Mutual Inconsistency in Distributed Systems

D. Stott Parker, Gerald J. Popek, G. Rudisin, Alley Stoughton et al. • IEEE Transactions on Software Engineering (1983)

Many distributed systems are now being developed to provide users with convenient access to data via some kind of communications network. In many cases it is desirable to keep the system functioning even when it is partitioned by network fa...

OPENALEX DOI: https://doi.org/10.1109/tse.1983.236733

Efficient Decentralized Monitoring of Safety in Distributed Systems

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Roşu • ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (2004)

This paper presents a variant of past time linear temporal logic, called PT-DTL, suitable for expressing temporal properties of distributed systems. The formulae in this logic are given with respect to a particular process and are interpret...

OPENALEX DOI: https://doi.org/10.1109/icse.2004.1317464

ADA for Distributed Systems

Colin Atkinson, Antônio José Natali, T. Moreton • Cambridge University Press eBooks (1988)

This book describes the difficulties involved in programming distributed systems in Ada and outlines the various possible approaches. In then describes in detail the technique developed in the GEC MAP (Multi-Annual Programme) project....

OPENALEX

The LOCUS Distributed System Architecture

Gerald J. Popek • The MIT Press eBooks (1986)

LOCUS, a distributed version of the popular operating system Unix, provides an excellent solution. It makes a collection of computers, whether they are workstations or mainframes, as easy to use as a single computer by providing a set of su...

OPENALEX DOI: https://doi.org/10.7551/mitpress/4279.001.0001

Configuring distributed systems

Jeff Kramer, Jeff Magee, Morris S. Sloman • ACM SIGOPS European Workshop (1992)

Distributed systems are constructed from a set of computational components which are bound together to interact and communicate to achieve some over all objective. In this paper, we examine the issues related to system configuration, partic...

OPENALEX DOI: https://doi.org/10.1145/506378.506406

Exploiting replication in distributed systems

Ken Birman, Thomas Joseph • ACM eBooks (1990)

Techniques are examined for replicating data and execution in directly distributed systems: systems in which multiple processes interact directly with one another while continuously respecting constraints on their joint behavior. Directly d...

OPENALEX Open Access DOI: https://doi.org/10.1145/90417.90751

Visualizing Distributed System Executions

Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang et al. • ACM Transactions on Software Engineering and Methodology (2020)

Distributed systems pose unique challenges for software developers. Understanding the system’s communication topology and reasoning about concurrent activities of system hosts can be difficult. The standard approach, analyzing system logs, ...

OPENALEX Open Access DOI: https://doi.org/10.1145/3375633

Ratings in Distributed Systems: A Bayesian Approach

Lik Mui, Mojdeh Mohtashemi, Cheewee Ang, Peter Szolovits et al. • DSpace@MIT (Massachusetts Institute of Technology) (2002)

For distributed systems at large and e-commerce systems in particular, ratings play an increasingly important role. Ratings confer reputation measures about sources. This paper reports our formalization of the rating process. This paper arg...

OPENALEX cc-by-nc

Verdi: a framework for implementing and formally verifying distributed systems

James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock et al. • ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2015)

Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, drop, or duplicate packets. Further, their behavior is often t...

OPENALEX Open Access DOI: https://doi.org/10.1145/2737924.2737958

Authentication in distributed systems

Butler Lampson, Martı́n Abadi, Michael T. Burrows, Edward P. Wobber • ACM SIGOPS Operating Systems Review (1991)

We describe a theory of authentication and a system that implements it. Our theory is based on the notion of principal and a "speaks for" relation between principals. A simple principal either has a name or is a communication channel; a com...

OPENALEX Open Access DOI: https://doi.org/10.1145/121132.121160

Constructing adaptive software in distributed systems

Wen-Ke Chen, Matti A. Hiltunen, Richard D. Schlichting • Proceedings of the ... International Conference on Distributed Computing Systems/Proceedings of the International Conference on Distributed Computing Systems (2002)

Adaptive software that can react to changes in the execution environment or user requirements by switching algorithms at run time is powerful yet difficult to implement, especially in distributed systems. This paper describes a software arc...

OPENALEX DOI: https://doi.org/10.1109/icdsc.2001.918994

Toward a Global Cybersecurity Standard of Care? Exploring the Implications of the 2014 NIST Cybersecurity Framework on Shaping Reasonable National and International Cybersecurity Practices

Scott Shackelford, Andrew A. Proia, Brenton Martell, Amanda N. Craig • Digital Library Of The Commons Repository (Indiana University) (2015)

"Even though U.S. congressional and multilateral efforts aimed at enhancing cybersecurity have thus far largely failed in their aims, courts are using existing doctrines including negligence to hold companies accountable for cyber attacks. ...

OPENALEX cc-by-nc

Cybersecurity for eHealth

Emmanuel C. Ogu • Routledge eBooks (2021)

The modern realities of cybersecurity have uncovered the unpreparedness of many sectors and industries to deal with emerging threats. One of these sectors is the healthcare industry. The pervasiveness and proliferation of digital innovation...

OPENALEX DOI: https://doi.org/10.1201/9781003254416

Philosophy of Cybersecurity

Łukasz Olejnik, Artur Kurasiński • CRC Press eBooks (2023)

Technology and digitization are a great social good. But they also involve risks and threats. Cybersecurity is not just a matter of data or computer security; cybersecurity is about the security of society. Why "Philosophy"? To understand h...

OPENALEX DOI: https://doi.org/10.1201/9781003408260

AI and Cybersecurity

Kalyan Chakradhar Regula • Advances in computational intelligence and robotics book series (2025)

Artificial Intelligence (AI) and Cybersecurity have become deeply intertwined, shaping the future of digital safety and resilience. As AI-driven solutions enhance threat detection, automation, and response mechanisms, cybersecurity safeguar...

OPENALEX DOI: https://doi.org/10.4018/979-8-3373-1142-5.ch015

Blockchain for secure and decentralized artificial intelligence in cybersecurity: A comprehensive review

Ahmed M. Shamsan Saleh • Blockchain Research and Applications (2024)

As the usage of artificial intelligence (AI) grows within the field of cybersecurity, so too does the demand for secure and decentralized AI systems to protect against potential cyber threats. Blockchain technology (BT) has emerged as the i...

OPENALEX cc-by-nc-nd DOI: https://doi.org/10.1016/j.bcra.2024.100193