2686 search results - page 162 / 538 » Parallel object monitors |
111
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
This paper presents a scalable solution to the problem of tracking objects across spatially separated, uncalibrated, non-overlapping cameras. Unlike other approaches this technique...
110
click to vote
ICDCN
2009
Springer
15 years 8 months ago
2009
Springer
We introduce FTRepMI, a simple fault-tolerant protocol for providing sequential consistency amongst replicated objects in a grid, without using any centralized components. FTRepMI ...
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper proposes an object-oriented approach for streaming synthetic graphic contents over a packet-erasure channel. Graphic objects such as geometric meshes and texture images...
123
click to vote
FMOODS
2007
15 years 3 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
103
Voted
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Object-based storage offloads some works of file systems to storage devices to improve security, scalability, and performance. Security is a main concern when sharing data over ne...