2687 search results - page 466 / 538 » Formal Analysis of PKCS |
163
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Graph-structured databases and related problems such as reachability query processing have been increasingly relevant to many applications such as XML databases, biological databas...
169
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
134
click to vote
ACSD
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
125
click to vote
AUSDM
2006
Springer
15 years 9 months ago
2006
Springer
During knowledge acquisition multiple alternative potential rules all appear equally credible. This paper addresses the dearth of formal analysis about how to select between such a...
171
click to vote
CSMR
2004
IEEE
15 years 9 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...