Results 1 to 10 of about 1,854,118 (269)
Monitoring Distributed Systems with Distributed PolyLarva
XJENZA On line, 2014 polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised. We therefore present a formal implementation-independent model which describes the behaviour of polyLarvaScript ...
Cassar, Ian +2 more
openaire +2 more sources
Distributed Autonomous Systems
EPiC Series in Computing, 2018 This benchmark suite consists of a number of examples of autonomous multi-agent systems where the agent number ranges from two to ten. The benchmarks are derived from the field of position-based formation control in autonomous robotics and vehicles.
Hoang-Dung Tran +3 more
openaire +2 more sources
Contracts in distributed systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In Proceedings ICE 2011, arXiv:1108 ...
Massimo Bartoletti +2 more
openaire +5 more sources
Timers for Distributed Systems
Electronic Notes in Theoretical Computer Science, 2006 AbstractWe deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed π-calculus. This model extends distributed π-calculus with timers, transforming the communication channels into temporary resources. Distributed π-calculus describes located interactions between processes with restricted access to
Gabriel Ciobanu, Cristian Prisacariu
openaire +1 more source
Distributed Systems and Algorithms [PDF]
, 2010 Parallel computing is increasingly exposed to the development and challenges of distributed systems, such as asynchrony, long latencies, network partitions, failures, disconnected operations, heterogeneity and protocol standardization. Furthermore, distributed systems are becoming larger, more diverse and more dynamic (changing topology, highly dynamic
Felber Pascal +3 more
openaire +2 more sources
Underground distribution systems [PDF]
Proceedings of the American Institute of Electrical Engineers, 1916 The object of this paper is to show the importance of properly designing an underground distribution system for the district it serves and the particular service it is to supply. Simply placing the wires underground does not constitute an efficient system.
openaire +1 more source
Distributed Cognition in the Age of Distributed Systems.
, 2015 In parallel with the development of the theory of distributed cognition, the study of distributed computing has progressed rapidly. This research has both been driven by pragmatic insights into the practicalities of coordinating computational processes and resulted in formal theories of distributed systems.
Soutar-Rau, Ethan, Fisher, Brian
openaire +1 more source
Distributed Systems for System Architects
, 2001 Paulo Veríssimo, Luís Rodrigues
openaire +2 more sources
Integrating Distributed Algorithms into Distributed Systems [PDF]
Fundamenta Informaticae, 1999 A distributed algorithm is often used as a part of a larger distributed system. Usually, the properties of an algorithm are proven for the algorithm in isolation. Then, it is not obvious how the algorithm behaves when integrated into a larger system. In this paper, we present a simple technique which allows to derive properties of an algorithm which is
Ekkart Kindler, Sibylle Peuker
openaire +2 more sources