1058 search results - page 34 / 212 » It's Doomed; We Can Prove It |
SEBD
2001
13 years 11 months ago
2001
What is the "high level view" of data on the Web that can be traced down within W3C's rich roadmap of technologies? What the relationships between the "big need...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
In this paper we consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such separation can be caused by mobility an...
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
We introduce the notion of opportunistic networks or oppnets, some of which can be considered a subclass of the peer-to-peer (P2P) networks. Initially, a relatively small seed opp...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
TACAS
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...