Results 231 to 240 of about 3,308,530 (269)
Some of the next articles are maybe not open access.
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
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
Proceedings of the 1975 annual conference on - ACM 75, 1975
The design of a file system for a multiprocessor interactive computer system is described. The architecture of the computer system is such that direct access to a resource allocated to a process is not allowed to any other process. Thus, sharing of files can only be done by transmission of copies.
openaire +1 more source
The design of a file system for a multiprocessor interactive computer system is described. The architecture of the computer system is such that direct access to a resource allocated to a process is not allowed to any other process. Thus, sharing of files can only be done by transmission of copies.
openaire +1 more source
Journal of the Operational Research Society, 1979
The regional distribution problem for a perishable product is examined, under the important assumption that younger units are issued first (LIFO) to satisfy the demands of the customers at the locations. Optimal and approximately optimal allocation policies for two alternative distribution systems are derived.
openaire +2 more sources
The regional distribution problem for a perishable product is examined, under the important assumption that younger units are issued first (LIFO) to satisfy the demands of the customers at the locations. Optimal and approximately optimal allocation policies for two alternative distribution systems are derived.
openaire +2 more sources
Distributed Systems and Their Environments
2009Process description languages, such as the picalculus [SW01], offer the possibility of formally describing system behaviour at varying levels of abstraction, and applying logical techniques to verify this behaviour. But system behaviour often depends on environmental considerations.
openaire +1 more source
Distributed information systems
Proceedings of the June 7-10, 1976, national computer conference and exposition on - AFIPS '76, 1976Distributed information systems represent an increasingly important trend to computer users. Distributed processing is a technique for implementing a single logical set of processing functions across a number of physical devices, so that each performs some part of the total processing required.
openaire +1 more source
On distributed systems performance
Computer Networks and ISDN Systems, 1990Abstract The behavior of two interacting processes in a distributed processing environment is analyzed. This problem represents a class of problems which we will confront in the next decade as distributed systems are implemented.
openaire +1 more source