2468 search results - page 293 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
131
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
150
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
142
click to vote
TIT
2010
14 years 10 months ago
2010
This is the first part of a two-part paper on information-theoretically secure secret key agreement. In this part, we study the secrecy problem under the widely studied source mod...
164
click to vote
SSPR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
166
Voted
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...