10633 search results - page 266 / 2127 » Relating Distributed Objects |
196
click to vote
BIRTHDAY
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
179
Voted
FM
1994
Springer
15 years 11 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
194
Voted
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
Inspired by biological findings, we present a system that is able to robustly identify a large number of pre-trained objects in realtime. In contrast to related work, we do not res...
201
click to vote
PDPTA
2003
15 years 8 months ago
2003
We investigate the management of flocking mobile objects using a parallel message-passing computer cluster. An octree, a data structure well-known for use in managing a 3D space, ...
193
click to vote
EDBT
2004
ACM
16 years 15 days ago
2004
ACM
Abstract. We present a cost-based adaptive clustering method to improve average performance of spatial queries (intersection, containment, enclosure queries) over large collections...