1628 search results - page 158 / 326 » Compiler Construction Using Scheme |
125
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
130
click to vote
JSCIC
2006
15 years 5 months ago
2006
In this paper, a moving mesh discontinuous Galerkin (DG) method is developed to solve the nonlinear conservation laws. In the mesh adaptation part, two issues have received much a...
267
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
142
click to vote
REFLECTION
1999
Springer
15 years 9 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
183
click to vote
APCSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...