1454 search results - page 44 / 291 » Stateful traits and their formalization |
161
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
159
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
139
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
149
Voted
FDL
2004
IEEE
15 years 9 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...
137
click to vote
DSVIS
2006
Springer
15 years 9 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...