532 search results - page 43 / 107 » Optimal Control Using Bisimulations: Implementation |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
ANOR
2008
13 years 8 months ago
2008
Abstract This paper is concerned with the coordination of inventory control in threeechelon serial and distribution systems under decentralized control. All installations in these ...
AAAI
2010
13 years 10 months ago
2010
Crowd-sourcing is a recent framework in which human intelligence tasks are outsourced to a crowd of unknown people ("workers") as an open call (e.g., on Amazon's Me...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Several peer-to-peer systems for live streaming have been recently deployed (e.g. CoolStreaming, PPLive, SopCast). These all rely on distributed, epidemic-style dissemination mech...
CN
2006
13 years 8 months ago
2006
In this paper, we address the server selection problem for streaming applications on the Internet. The architecture we consider is similar to the content distribution networks con...