1995 search results - page 260 / 399 » The Chemical Abstract Machine |
159
Voted
ARC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents a hardware architecture for UNIX password cracking using Hellman's time-memory trade-off; it is the first hardware design for a key search machin...
159
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Current Web applications provide their information and functionalities to human users only. To make Web applications also accessible for machines, the Semantic Web propos...
141
Voted
CIVR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The location of video scenes is an important semantic descriptor especially for broadcast news video. In this paper, we propose a learning-based approach to annotate shot...
130
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
132
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...