293 search results - page 12 / 59 » A Logical Approach to Multilevel Security of Probabilistic S... |
ICPADS
2005
IEEE
14 years 1 months ago
2005
IEEE
To better protect information systems, computation time data protection needs to be considered such that even when the system is partially compromised, the security of the system ...
HIM
1997
Springer
14 years 20 hour ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
ERCIMDL
2007
Springer
14 years 2 months ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...