2958 search results - page 464 / 592 » Extending and Implementing RASP |
131
Voted
ASE
2006
15 years 4 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
127
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
129
click to vote
DSS
2006
15 years 4 months ago
2006
Proactive information sharing is a challenging issue faced by intelligence agencies in effectively making critical decisions under time pressure in areas related to homeland secur...
135
click to vote
ENTCS
2006
15 years 4 months ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
136
click to vote
IJNSEC
2008
15 years 4 months ago
2008
This paper concerns the problem of reducing the implementation cost of the switchable data-dependent operations (SDDOs) that are a new cryptographic primitive oriented to the desi...