4211 search results - page 554 / 843 » Types as Abstract Interpretations |
147
click to vote
EGOV
2007
Springer
16 years 1 months ago
2007
Springer
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
190
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
156
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
166
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
180
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...