Results 221 to 230 of about 23,558,939 (264)
Some of the next articles are maybe not open access.
Recognition in a Distributed System
Applied Categorical Structures, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
The verification of a distributed system
Communications of the ACM, 2016A practitioner's guide to increasing confidence in system correctness.
openaire +1 more source
Planning in a Distributed System
2005We identify a type of distributed system where the notion of space in planning is important. We give a formal modeling of the distributed system where planning is done. We show that several interesting planning goals in the model can be specified in a spatio-temporal logic STL.
Rajdeep Niyogi, Sundar Balasubramaniam
openaire +1 more source
Synthesizing distributed systems
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 2002In 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 that the synthesis problem for linear specifications is undecidable for general architectures, and is ...
Orna Kupferman, Moshe Y. Vardi
openaire +1 more source
Programming Distributed Systems
Proceedings of the 1978 annual conference on - ACM 78, 1978For a number of technical and economic reasons, distributed computing is increasing rapidly in importance. The main technical considerations are the increased performance of small machines and of communications systems relative to that of giant computers and the opportunity for greater system reliability through redundancy.
Jerome A. Feldman +2 more
openaire +2 more sources
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, 2006
The study of large-scale networks has emerged over the past several years as a theme that spans many disciplines, ranging from computing and information science to the social and biological sciences. Indeed, a shared interest in network structure is arguably one of the forces that is helping draw many of these disciplines closer together. As one aspect
openaire +2 more sources
The study of large-scale networks has emerged over the past several years as a theme that spans many disciplines, ranging from computing and information science to the social and biological sciences. Indeed, a shared interest in network structure is arguably one of the forces that is helping draw many of these disciplines closer together. As one aspect
openaire +2 more sources
Security in distributed system
Proceedings of the International Conference and Workshop on Emerging Trends in Technology, 2010Security is the very important principle of distributed systems. Security in distributed systems can be divided into two parts. One part concerns the communication between users and processes, possibly residing on different machines. The principal mechanism for ensuring secure communication is that of a secure channel and via authorization.In this ...
P. K. Mudholkar, M. Mudholkar
openaire +2 more sources
Computers & Security, 1992
The increasing complexity of networking, and distributed information processing in particular, requires that greater attention be given to ensuring security within these systems. The heterogeneous nature of many cooperating inter-organisational systems, coupled with the strategic importance of inter-operability and inter-connectivity between those ...
openaire +2 more sources
The increasing complexity of networking, and distributed information processing in particular, requires that greater attention be given to ensuring security within these systems. The heterogeneous nature of many cooperating inter-organisational systems, coupled with the strategic importance of inter-operability and inter-connectivity between those ...
openaire +2 more sources
Water Environment Research, 2015
This section presents a review of the literature published in 2014 on topics relating to distributed treatment systems. This review is divided into the following sections with multiple subsections under each: constituent removal; treatment technologies; and planning and treatment system management.
David, Zgonc, Matthew, Baideme
openaire +2 more sources
This section presents a review of the literature published in 2014 on topics relating to distributed treatment systems. This review is divided into the following sections with multiple subsections under each: constituent removal; treatment technologies; and planning and treatment system management.
David, Zgonc, Matthew, Baideme
openaire +2 more sources
Authentication for distributed systems
Computer, 1992A 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 identity authentication-are explained. Authentication exchanges are identified, and paradigms of authentication protocols
Thomas Y. C. Woo, Simon S. Lam
openaire +2 more sources