946 search results - page 91 / 190 » Process Algebra and Non-Interference |
116
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Traditional computer vision and machine learning algorithms have been largely studied in a centralized setting, where all the processing is performed at a single central location....
SIAMMA
2010
14 years 7 months ago
2010
ABSTRACT. We prove the so-called generalized Haff's law yielding the optimal algebraic cooling rate of the temperature of a granular gas described by the homogeneous Boltzmann...
100
Voted
TCS
2010
14 years 7 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
140
Voted
JMLR
2012
13 years 3 months ago
2012
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
112
click to vote
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...