2438 search results - page 242 / 488 » Consistent Gradient Operators |
100
click to vote
CHES
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we propose a new block cipher HIGHT with 64-bit block length and 128-bit key length. It provides low-resource hardware implementation, which is proper to ubiquitous ...
118
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
The fundamental operation of dominance testing, i.e., determining if one alternative is preferred to another, is in general very hard for methods of reasoning with qualitative cond...
110
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
124
click to vote
ESORICS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
132
Voted
VL
1998
IEEE
15 years 6 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...