286 search results - page 23 / 58 » Crypto Engineering: Some History and Some Case Studies |
111
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 3 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
151
click to vote
CIDR
2009
15 years 28 days ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
FS
2010
14 years 10 months ago
2010
This paper considers a general reduced form pricing model for credit derivatives where default intensities are driven by some factor process X. The process X is not directly observ...
RE
2004
Springer
15 years 5 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
RE
2006
Springer
14 years 11 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...