10156 search results - page 9 / 2032 » Step by Step to Histories |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
Network based intrusions have become a serious threat to the users of the Internet. Intruders who wish to attack computers attached to the Internet frequently conceal their identit...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...
ASIACRYPT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we present a preimage attack for 42 step