1027 search results - page 61 / 206 » Callgraph properties of executables |
148
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
120
click to vote
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
107
Voted
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...
102
click to vote
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
90
Voted
IFM
1999
Springer
15 years 5 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...