Sciweavers

1906 search results - page 247 / 382
» Dependable Self-Hosting Distributed Systems Using Constraint...
Sort
View
NSDI
2008
15 years 9 months ago
cSamp: A System for Network-Wide Flow Monitoring
Critical network management applications increasingly demand fine-grained flow level measurements. However, current flow monitoring solutions are inadequate for many of these appl...
Vyas Sekar, Michael K. Reiter, Walter Willinger, H...
ATAL
2004
Springer
16 years 6 days ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
ISMIR
2001
Springer
99views Music» more  ISMIR 2001»
15 years 11 months ago
A Naturalist Approach to Music File Name Analysis
: Music title identification is a key ingredient of contentbased electronic music distribution. Because of the lack of standards in music identification – or the lack of enforcem...
François Pachet
FSTTCS
2007
Springer
16 years 1 months ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin
ICRA
2007
IEEE
156views Robotics» more  ICRA 2007»
16 years 1 months ago
Multipartite RRTs for Rapid Replanning in Dynamic Environments
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
Matthew Zucker, James J. Kuffner, Michael S. Brani...