1995 search results - page 21 / 399 » Belief in Information Flow |
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
SFM
2010
Springer
14 years 22 days ago
2010
Springer
INFFUS
2006
13 years 8 months ago
2006
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
MASCOTS
2008
13 years 10 months ago
2008
Two classic categories of models exist for computer networks: network information flow and network of queues. The network information flow model appropriately captures the multi-ho...
FOMI
2009
13 years 6 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...