276 search results - page 24 / 56 » Proving Properties of Dynamic Process Networks |
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
DASFAA
2010
IEEE
15 years 2 months ago
2010
IEEE
Given a set of query points, a dynamic skyline query reports all data points that are not dominated by other data points according to the distances between data points and query po...
105
click to vote
DAGSTUHL
2009
14 years 10 months ago
2009
We introduce and discuss the application of statistical physics concepts in the context of on-line machine learning processes. The consideration of typical properties of very large...
65
Voted
ICN
2007
Springer
15 years 3 months ago
2007
Springer
—PlanetLab is a globally distributed overlay platform that has been increasingly used by researchers to deploy and assess planetary-scale network services. This paper analyzes so...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...