Sciweavers

1876 search results - page 12 / 376
» Language Networks on LiveJournal
Sort
View
IFIP
2010
Springer
13 years 4 months ago
Secure Upgrade of Hardware Security Modules in Bank Networks
Riccardo Focardi, Flaminia L. Luccio
POPL
2012
ACM
12 years 5 months ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
IJAR
2008
83views more  IJAR 2008»
13 years 9 months ago
Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
Alessandro Antonucci, Marco Zaffalon