15155 search results - page 2488 / 3031 » System Software |
152
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
195
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Field-Programmable Gate Arrays (FPGAs) have lately become a popular target for implementing cryptographic block ciphers, as a well-designed FPGA solution can combine some...
192
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...
213
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
218
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...