2610 search results - page 166 / 522 » Computational Probabilistic Non-interference |
222
Voted
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
138
click to vote
SSDBM
2008
IEEE
15 years 9 months ago
2008
IEEE
There are a lot of application domains, e.g. sensor databases, traffic management or recognition systems, where objects have to be compared based on vague and uncertain data. Feat...
106
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
127
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract-- Recently, the research on quantum-inspired evolutionary algorithms (QEA) has attracted some attention in the area of evolutionary computation. QEA use a probabilistic re...
128
Voted
ENTCS
1998
15 years 2 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...