SCP
2008
13 years 4 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
SCP
2008
13 years 4 months ago
2008
SCP
2008
13 years 4 months ago
2008
Programmers working on large software systems are faced with an extremely complex, information-rich environment. To help navigate through this, modern development environments all...
SCP
2008
13 years 4 months ago
2008
SCP
2008
13 years 4 months ago
2008
We proposed a method to quantify the yield of an IT-investment portfolio in an environment of uncertainty and risk. For various common implementation scenarios such as growing dem...
SCP
2008
13 years 4 months ago
2008
SCP
2008
13 years 4 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
SCP
2008
13 years 4 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
SCP
2008
13 years 4 months ago
2008
SCP
2008
13 years 4 months ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...