Home »
Academic Articles & Research Papers
Showing 20 of 1,471 academic articles
Sanjib Ghosh, T. C. H. Liew • npj Quantum Information
(2020)
Abstract Exciton-polariton condensates have attractive features for quantum computation, e.g., room temperature operation, high dynamical speed, ease of probe, and existing fabrication techniques. Here, we present a complete theoretical sch...
OPENALEX
cc-by
DOI: https://doi.org/10.1038/s41534-020-0244-x
Hilal Ahmad Bhat, Farooq Ahmad Khanday, Brajesh Kumar Kaushik, Faisal I. Bashir et al. • IEEE Open Journal of Nanotechnology
(2022)
Quantum Computing is a technology, which promises to overcome the drawbacks of conventional CMOS technology for high density and high performance applications. Its potential to revolutionize today's computing world is attracting more and mo...
OPENALEX
cc-by
DOI: https://doi.org/10.1109/ojnano.2022.3178545
Gennady Medvinsky, Charlie Lai, Clifford Neuman • ACM SIGSAC Conference on Computer and Communications Security (CCS)
(1994)
Clients in a distributed system place their confidence in many servers, and servers themselves rely on other servers for file storage, authentication, authorization, and payment. When a system spans administrative boundaries it becomes hard...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/191177.191215
Nicodemos Damianou, Naranker Dulay, E. Lupu, Morris S. Sloman • Spiral (Imperial College London)
(2000)
This document defines a declarative, object-oriented language for specifying policies for the security and management of distributed systems. The language includes constructs for specifying the following basic policy types: authorisation po...
OPENALEX
Open Access
DOI: https://doi.org/10.25561/5966
A. El Jai, A. J. Pritchard • HAL
(1988)
The object of this book is to present the principal results in the analysis of distributed parameter systems, which are concerned with the structure of input-output operators, i.e. actuators and sensors.We have adopted an approach via semig...
OPENALEX
Patrick Th. Eugster, Rachid Guerraoui, Anne-Marie Kermarrec, Laurent Massoulié • Computer
(2004)
Easy to deploy, robust, and highly resilient to failures, epidemic algorithms are a potentially effective mechanism for propagating information in large peer-to-peer systems deployed on Internet or ad hoc networks. It is possible to adjust ...
OPENALEX
Open Access
DOI: https://doi.org/10.1109/mc.2004.1297243
Pranabananda Chakraborty • Chapman & Hall/CRC eBooks
(2023)
This chapter demystifies computing systems consisting of multiple CPUs, shared and distributed memory, and different types of I/O in the form of multiprocessors and multicomputers that eventually gave rise to distributed computing systems a...
OPENALEX
DOI: https://doi.org/10.1201/9781003383055-9
Ingolf H. Krüger • mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)
(2000)
The methodical mastery of interaction scenarios is a key factor for capturing and modeling system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) and variants thereof are well-accepted as a graphical descriptio...
OPENALEX
Open Access
Caitie McCaffrey • Queue
(2015)
Leslie Lamport, known for his seminal work in distributed systems, famously said, "A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable." Given this bleak outlook ...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/2857274.2889274
Michel Raynal • ACM SIGOPS Operating Systems Review
(1992)
Memory space and processor time are basic resources when executing a program. But beside this implementation aspect (this time resource is necessary but does not belong to the program semantics), the concept of time presents a more fundamen...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/130704.130708
Pedro Pablo Cárdenas Alzate, Jaime Alberto Echeverri Franco, Jacobo Echeverri Hoyos • Epidemiologia
(2026)
Background/Objectives: Cholera remains a major public health problem, particularly in regions with limited access to safe drinking water and sanitation. Traditional compartmental models may underrepresent adaptive human behavioral responses...
DOAJ
Open Access (DOAJ)
DOI: 10.3390/epidemiologia7050142
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
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
Thomas Y. C. Woo, Simon S. Lam • IEEE Computer Society Symposium on Research in Security and Privacy
(2003)
It is argued that authorization is an independent semantic concept that must be separated from implementation mechanisms and given a precise semantics. A logical approach to representing and evaluating authorization is proposed. Specificall...
OPENALEX
DOI: https://doi.org/10.1109/risp.1992.213272
Thomas Y. C. Woo, Simon S. Lam • Journal of Computer Security
(1993)
In most existing systems, authorization is specified using some low-level system-specific mechanisms, e.g., protection bits, capabilities and access control lists. We argue that authorization is an independent semantic concept that must be ...
OPENALEX
DOI: https://doi.org/10.3233/jcs-1993-22-304
Robert J. Stroud • ACM SIGOPS Operating Systems Review
(1993)
The recursive composition of systems to form functionally equivalent transparently distributed systems is an important paradigm for constructing distributed systems. The extent to which such recursive transparency can be achieved depends cr...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/155848.155866
Raja Sengupta • RePEc: Research Papers in Economics
(1999)
This paper discusses diagnosis problems in distributed systems within the context of a language-theoretic discrete event formalism. A distributed system is seen as a system with multiple spatially separated sites with each site having a dia...
OPENALEX
Open Access
Masoud Mansouri-Samani, Morris S. Sloman • IEEE Network
(1993)
It is suggested that a functional model of monitoring in terms of the generation, processing, dissemination, and presentation of information can help determine the facilities needed to design and construct distributed systems. Implementatio...
OPENALEX
DOI: https://doi.org/10.1109/65.244791
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum • IEEE Transactions on Software Engineering
(1992)
A detailed description is given of the Orca language design and the design choices are discussed. Orca is intended for applications programmers rather than systems programmers. This is reflected in its design goals to provide a simple, easy...
OPENALEX
Open Access
DOI: https://doi.org/10.1109/32.126768
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