335 search results - page 4 / 67 » Reasoning about Probabilistic Security Using Task-PIOAs |
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
ESORICS
2005
Springer
14 years 1 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...
CMPB
2010
13 years 6 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
FASE
2011
Springer
12 years 11 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
COREGRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...