714 search results - page 109 / 143 » Formal Verification of Cognitive Models |
115
Voted
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
125
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
119
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
135
click to vote
EUROCRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
123
click to vote
NIPS
2008
15 years 3 months ago
2008
Decision making lies at the very heart of many psychiatric diseases. It is also a central theoretical concern in a wide variety of fields and has undergone detailed, in-depth, ana...