2610 search results - page 206 / 522 » Computational Probabilistic Non-interference |
180
Voted
MMAS
2011
Springer
14 years 11 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
129
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
129
Voted
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
127
click to vote
ECCC
2008
15 years 4 months ago
2008
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas....
119
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
Volunteer Computing (VC) projects harness the power of computers owned by volunteers across the Internet to perform hundreds of thousands of independent jobs. In VC projects, the ...