431 search results - page 32 / 87 » Using Formal Methods to Reason about Architectural Standards |
102
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
103
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
ISOLA
2010
Springer
15 years 10 days ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
159
Voted
FORTE
2009
14 years 11 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
104
Voted
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...