Results 251 to 260 of about 20,139,538 (294)
Some of the next articles are maybe not open access.
Monitoring distributed systems with distributed algorithms
Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2003Proposes a framework to process large distributed systems by parts, through distributed algorithms. We consider distributed (discrete event) systems as the combination of elementary components. Each component defines dynamics on several state variables, and the composition is simply defined by sharing variables.
Eric Fabre, Vincent Pigourier
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
Recognition in a Distributed System
Applied Categorical Structures, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Distributed systems for telecommunications
IEEE Network, 1994The authors present an overview of the January/February 1994 issue of IEEE Network which includes seven articles on distributed telecommunications systems. >
Salah Aidarous, Stephen B. Weinstein
openaire +2 more sources
Monitoring distributed systems
IEEE Network, 1993It 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. Implementation issues are also discussed, with attention given to the intrusiveness of monitoring systems and object-based ...
Masoud Mansouri-Samani, Morris Sloman
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
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
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 communication systems.
openaire +1 more source
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 communication systems.
openaire +1 more source
Distributed manufacturing systems
Robotica, 1986SUMMARYIn the context of computer-integrated manufacture (CIM), the paper describes the need for flexible “intelligent” machinery and the need for integrated and distributed software. Methodologies in obtaining appropriate solutions are discussed and related to two major SERC sponsored research programmes at Loughborough University, which concern (i ...
Richard H. Weston +2 more
openaire +2 more sources