8056 search results - page 452 / 1612 » Object Behavior Analysis |
140
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
174
click to vote
ANSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...
201
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
216
click to vote
HICSS
2003
IEEE
16 years 27 days ago
2003
IEEE
An area of interest that remains to be more thoroughly investigated is that of human navigation and wayfinding in VR. This study attempted to examine the effect of gender on VR na...
179
click to vote
MTDT
2003
IEEE
16 years 26 days ago
2003
IEEE
Abstract: The high complexity of the faulty behavior observed in DRAMs is caused primarily by the presence of internal floating nodes in defective DRAMs. This paper describes a ne...