2686 search results - page 416 / 538 » Parallel object monitors |
160
click to vote
HPCC
2007
Springer
15 years 11 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...
168
click to vote
TACAS
2007
Springer
15 years 11 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...
166
click to vote
CW
2006
IEEE
15 years 11 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...
152
click to vote
HPDC
2006
IEEE
15 years 11 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...
149
Voted
ICDCS
2006
IEEE
15 years 11 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 ...