2930 search results - page 181 / 586 » A Constructive Approach to the Design of Distributed Systems |
148
click to vote
WSC
2001
15 years 5 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
153
click to vote
ISLPED
2010
ACM
15 years 2 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...
139
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
123
click to vote
SIGOPS
2010
15 years 2 months ago
2010
We describe the design of, and experience with, Query, a monitoring system that supports the Akamai EdgePlatform. Query is a foundation of Akamai’s approach to administering its...
138
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...