2432 search results - page 12 / 487 » Cryptographic logical relations |
MEDINFO
2007
15 years 1 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
138
click to vote
CONCUR
2011
Springer
13 years 11 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
84
Voted
EUSFLAT
2009
14 years 9 months ago
2009
SCN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
114
click to vote
FCS
2006
15 years 1 months ago
2006
A computational grid is a large-scale distributed computing environment capable of providing dependable, consistent, pervasive, and inexpensive access to high-end computational re...