4770 search results - page 354 / 954 » Flexible Type Analysis |
237
click to vote
DAMON
2006
Springer
15 years 11 months ago
2006
Springer
Secure coprocessors have traditionally been used as a keystone of a security subsystem, eliminating the need to protect the rest of the subsystem with physical security measures. ...
187
click to vote
ECOOP
2006
Springer
15 years 11 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
180
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we compare Mixed-Integer Evolution Strategies (MI-ES) and standard Evolution Strategies (ES) when applied to find optimal solutions for artificial test problems and ...
192
click to vote
DOOD
1995
Springer
15 years 11 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
209
Voted
BMVC
2002
15 years 10 months ago
2002
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...