1679 search results - page 137 / 336 » Security Properties and CSP |
187
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
197
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Visual Hull (VH) construction from silhouette images is a popular method of shape estimation. The method, also known as Shape-From-Silhouette (SFS), is used in many applications s...
184
click to vote
CIE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
191
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
188
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...