2687 search results - page 234 / 538 » Formal Analysis of PKCS |
165
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
178
click to vote
ICML
2003
IEEE
15 years 12 months ago
2003
IEEE
Shaping can be an effective method for improving the learning rate in reinforcement systems. Previously, shaping has been heuristically motivated and implemented. We provide a for...
195
click to vote
AGP
1996
IEEE
15 years 10 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
188
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
192
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...