3179 search results - page 5 / 636 » Applications of PCF Theory |
DLT
2001
13 years 8 months ago
2001
CCS
2010
ACM
13 years 4 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
HICSS
2000
IEEE
13 years 12 months ago
2000
IEEE
To date there has been limited published work in the construction management and engineering literature that has provided empirical evidence to demonstrate that IT can improve org...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: rand...
ER
2009
Springer
13 years 5 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...