1833 search results - page 260 / 367 » Mechanized Verification with Sharing |
131
click to vote
SENSYS
2006
ACM
15 years 10 months ago
2006
ACM
It is vital to support concurrent applications sharing a wireless sensor network in order to reduce the deployment and administrative costs, thus increasing the usability and efï¬...
148
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
In a wireless sensor network of N nodes transmitting data to a single base station, possibly over multiple hops, what distributed mechanisms should be implemented in order to dyna...
148
click to vote
WIDM
2006
ACM
15 years 10 months ago
2006
ACM
The huge amount of data available from Internet information sources has focused much attention on the sharing of distributed information through Peer Data Management Systems (PDMS...
163
click to vote
ICPP
2005
IEEE
15 years 10 months ago
2005
IEEE
Computational grids can integrate geographically distributed resources into a seamless environment. To facilitate managing these heterogenous resources, the virtual machine gy pro...
136
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...