10633 search results - page 9 / 2127 » Relating Distributed Objects |
100
click to vote
ENTCS
2006
14 years 9 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
73
Voted
PACT
2001
Springer
15 years 2 months ago
2001
Springer
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
125
click to vote
ICVS
2003
Springer
15 years 2 months ago
2003
Springer
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
SSDBM
2005
IEEE
15 years 3 months ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...
FMOODS
2007
14 years 11 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...