2687 search results - page 515 / 538 » Formal Analysis of PKCS |
106
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
137
click to vote
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
105
click to vote
BIBE
2005
IEEE
15 years 6 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
115
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
104
click to vote
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...