305 search results - page 37 / 61 » A Logical Framework to Deal with Variability |
101
click to vote
ANOR
2011
14 years 6 months ago
2011
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
We present a method for the removal of noise including nonGaussian impulses from a signal. Impulse noise is removed jointly a homogenous Gaussian noise floor using a Gabor regres...
101
click to vote
TCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
109
click to vote
RULEML
2005
Springer
15 years 5 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...