10182 search results - page 1626 / 2037 » Case Studies |
208
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
211
click to vote
WETICE
2009
IEEE
16 years 1 months ago
2009
IEEE
The ever growing request for digital information raises the need for content distribution architectures providing high storage capacity, data availability and good performance. Wh...
282
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
—Characterizing user churn has become an important topic in studying P2P networks, both in theoretical analysis and system design. Recent work [26] has shown that direct sampling...
187
click to vote
PRDC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper, we study algebraic aggregate computations in Sensor Networks. The main contribution is the presentation of an early-stopping protocol that computes the av...
216
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
Business workflows implemented as BPEL processes play an important role for many business applications. BPEL is used to orchestrate a series of Web service calls. Which provider ...