575 search results - page 84 / 115 » Controller Synthesis for Probabilistic Systems |
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
APIN
2000
13 years 7 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
NIME
2004
Springer
14 years 1 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
This paper reports our experiences building PlanetLab over the last four years. It identifies the requirements that shaped PlanetLab, explains the design decisions that resulted fr...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on it...