6249 search results - page 325 / 1250 » Topological Informational Spaces |
217
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
207
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This article discusses visualizing and interacting with 3-D geographical data via VRML in the Web environment. For this purpose, the Web-based desktop VR for geographical informat...
237
click to vote
ICIAP
2001
Springer
16 years 7 months ago
2001
Springer
Many approaches to moving object detection for traffic monitoring and video surveillance proposed in the literature are based on background suppression methods. How to correctly a...
197
Voted
BTW
2009
Springer
16 years 2 months ago
2009
Springer
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...
232
Voted
VLDB
2005
ACM
16 years 29 days ago
2005
ACM
In this paper, we address issues related to sharing information in a distributed system consisting of autonomous entities, each of which holds a private database. Semi-honest beha...