Sciweavers

1753 search results - page 249 / 351
» Reducibility of domain representations and Cantor-Weihrauch ...
Sort
View
ER
2007
Springer
80views Database» more  ER 2007»
15 years 4 months ago
From Declarative to Imperative UML/OCL Operation Specifications
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
Jordi Cabot
EUROPAR
2007
Springer
15 years 4 months ago
Program Behavior Characterization Through Advanced Kernel Recognition
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
Manuel Arenaz, Juan Touriño, Ramon Doallo
GECCO
2007
Springer
276views Optimization» more  GECCO 2007»
15 years 4 months ago
Meta-optimizing semantic evolutionary search
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
Moshe Looks
ICTCS
2007
Springer
15 years 4 months ago
Analyzing Non-Interference with respect to Classes
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
Damiano Zanardini
MDM
2007
Springer
123views Communications» more  MDM 2007»
15 years 4 months ago
On Relaxing Contextual Preference Queries
Personalization systems exploit preferences for providing users with only relevant data from the huge volume of information that is currently available. We consider preferences th...
Kostas Stefanidis, Evaggelia Pitoura, Panos Vassil...