2687 search results - page 143 / 538 » Formal Analysis of PKCS |
154
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
119
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
121
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
132
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
120
click to vote
ASE
2008
15 years 4 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...