1636 search results - page 155 / 328 » Reasoning About Quantum Systems |
219
Voted
SCAI
2008
15 years 8 months ago
2008
Roboethics is a recently developed field of applied ethics which deals with the ethical aspects of technologies such as robots, ambient intelligence, direct neural interfaces and i...
200
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
175
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
186
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
193
click to vote
RE
2007
Springer
16 years 1 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...