2686 search results - page 416 / 538 » Parallel object monitors |
136
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
In a data-indexed DHT overlay network, published data annotations form distributed databases. Queries are distributed to these databases in a nonuniform way. Constructing content d...
133
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
136
Voted
CW
2006
IEEE
15 years 9 months ago
2006
IEEE
Many efforts to improve interaction in virtual and augmented reality applications do so by including tactile elements to create a link between virtual objects and actions. It is a...
132
Voted
HPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider the problem of bulk data transfers and bandwidth sharing in the context of grid infrastructures. Grid computing empowers high-performance computing in a large-scale di...
128
click to vote
ICDCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Event-driven distributed infrastructures are becoming increasingly important for information dissemination and application integration. We examine the problem of optimal resource ...