335 search results - page 36 / 67 » Reasoning about Probabilistic Security Using Task-PIOAs |
CVIU
2008
13 years 7 months ago
2008
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
CCS
2009
ACM
14 years 8 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...