4211 search results - page 554 / 843 » Types as Abstract Interpretations |
133
click to vote
EGOV
2007
Springer
16 years 21 days 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...
167
click to vote
ESORICS
2007
Springer
16 years 21 days 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...
133
click to vote
GECCO
2007
Springer
16 years 21 days 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...
151
click to vote
HYBRID
2007
Springer
16 years 21 days 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...
163
click to vote
ICCS
2007
Springer
16 years 21 days 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...