5451 search results - page 448 / 1091 » Typed Operational Semantics |
150
click to vote
ANOR
2002
15 years 6 months ago
2002
We consider an inspection game played on a continuous finite time interval. The inspector wishes to detect a violation as soon as possible after it has been made by the operator. T...
162
click to vote
FDTC
2010
Springer
15 years 4 months ago
2010
Springer
This paper introduces some new types of optical fault attacks called fault masking attacks. These attacks are aimed at disrupting of the normal memory operation through preventing ...
175
click to vote
ICISS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Tweakable enciphering schemes are a certain type of blockcipher mode of operation which provide security in the sense of a strong pseudo-random permutation. It has been p...
152
click to vote
JUCS
2010
15 years 1 months ago
2010
: Motivated by our experiences with spatial modelling for the sustainable land use initiative we present a geometrically enhanced ER model (GERM), which preserves the key principle...
203
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...