959 search results - page 37 / 192 » Possible and Necessary h-Indices |
SCAM
2007
IEEE
14 years 3 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
RE
2004
Springer
14 years 2 months ago
2004
Springer
When buying COTS-based software, the customer has to choose between what is available. The supplier may add some minor parts, but rarely everything the customer wants. This means t...
ISAAC
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Shannon [Sha48, Sha49] in celebrated works had shown that n bits of shared key is necessary and sufficient to transmit n-bit classical information in an information-theoretically ...