2042 search results - page 208 / 409 » A Global Grid Model Based on |
208
click to vote
FORTE
2009
15 years 5 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
239
click to vote
IBPRIA
2009
Springer
15 years 5 months ago
2009
Springer
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
164
click to vote
TSP
2010
15 years 1 months ago
2010
An operational framework is developed for testing stationarity relatively to an observation scale, in both stochastic and deterministic contexts. The proposed method is based on a ...
222
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
156
click to vote
WSC
2004
15 years 8 months ago
2004
We summarize the results of an experimental performance evaluation of using an empirical histogram to approximate the steady-state distribution of the underlying stochastic proces...