2634 search results - page 153 / 527 » Faster Than Uppaal |
139
click to vote
CTRSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In [8] Vaudenay presented an attack on block cipher CBCmode encryption when a particular padding method is used. In this paper, we employ a similar approach to analyse th...
177
click to vote
DAWAK
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Due to the dynamic nature of online information, XML documents typically evolve over time. The change of the data values or structures of an XML document may exhibit some...
138
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
Recently, an approach has been presented to minimize Disjoint Sumof-Products (DSOPs) based on Binary Decision Diagrams (BDDs). Due to the symbolic representation of cubes for larg...
149
click to vote
FPGA
2004
ACM
15 years 11 months ago
2004
ACM
Moore’s Law states that the number of transistors on a device doubles every two years; however, it is often (mis)quoted based on its impact on CPU performance. This important co...
138
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
Security is one of the most important features for Grid services. There are several specifications used to add security to Grid services, and some of them have been implemented a...