Sciweavers

5639 search results - page 398 / 1128
» Timed Abstract Non-interference
Sort
View
LATIN
2010
Springer
15 years 11 months ago
Lipschitz Unimodal and Isotonic Regression on Paths and Trees
Abstract. We describe algorithms for finding the regression of t, a sequence of values, to the closest sequence s by mean squared error, so that s is always increasing (isotonicit...
Pankaj K. Agarwal, Jeff M. Phillips, Bardia Sadri
IEEEARES
2009
IEEE
15 years 11 months ago
Deconvolving Protected Signals
Abstract—The variable clock (VC) side-channel countermeasure consists in clocking a chip with an internal oscillator whose parameters (frequency, duty cycle, shape etc.) vary ran...
Mohaned Kafi, Sylvain Guilley, S. Marcello, David ...
WMCSA
2009
IEEE
15 years 11 months ago
Experimenting in mobile social contexts using JellyNets
Programmable consumer devices have placed computation within arm’s reach at all times and in all places. Unfortunately, researchers interested in investigating this phenomenon o...
Peter Gilbert, Eduardo Cuervo, Landon P. Cox
ACG
2009
Springer
15 years 11 months ago
Monte-Carlo Kakuro
Abstract. Kakuro consists in filling a grid with integers that sum up to predefined values. Sums are predefined for each row and column and all integers have to be different in ...
Tristan Cazenave
ATVA
2009
Springer
89views Hardware» more  ATVA 2009»
15 years 11 months ago
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Q...