1636 search results - page 77 / 328 » Reasoning About Quantum Systems |
145
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
177
click to vote
TC
2002
15 years 5 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
167
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
142
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
164
click to vote
AAAI
1998
15 years 7 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...