SCP
2008
13 years 11 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 11 months ago
2008
SCP
2008
13 years 11 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 11 months ago
2008
SCP
2008
13 years 11 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 11 months ago
2008
SCP
2008
13 years 11 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 11 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 11 months ago
2008
SCP
2008
13 years 11 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...