6279 search results - page 923 / 1256 » Objects as session-typed processes |
208
click to vote
DMSN
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present the Threshold Join Algorithm (TJA), which is an efficient TOP-k query processing algorithm for distributed sensor networks. The objective of a top-k query...
206
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
155
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Body scanners offer significant potential for use in many applications like clothing industry, orthopedy, surgery, healthcare, monument conservation, art, as well as film...
186
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
183
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Active Storage provides an opportunity for reducing the bandwidth requirements between the storage and compute elements of current supercomputing systems, and leveraging ...