3868 search results - page 165 / 774 » Open Systems in TLA |
174
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
174
Voted
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we review the history of systems for managing “Big Data” as well as today’s activities and architectures from the (perhaps biased) perspective of three “data...
163
click to vote
CALCO
2005
Springer
16 years 17 days ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
181
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
166
click to vote
APAL
2008
15 years 7 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...