Results 1 -
4 of
4
Acknowledgments
"... Contribution to technological nutritional and toxicological characterization of two varieties of rice grown in Portugal: amylose, amino acids and arsenic Contribuição para a caracterização tecnológica, nutricional e toxicológica de duas espécies de arroz cultivado em Portugal: amilose, aminoácidos e ..."
Abstract
- Add to MetaCart
(Show Context)
Contribution to technological nutritional and toxicological characterization of two varieties of rice grown in Portugal: amylose, amino acids and arsenic Contribuição para a caracterização tecnológica, nutricional e toxicológica de duas espécies de arroz cultivado em Portugal: amilose, aminoácidos e arsénio
Dissertação para a obtenção de Grau de Mestre em
"... ii We present a logic for reasoning about temporal properties of distributed systems and nitely additive probability. The language for this logic allows us to make statements such as The probability of 'sometime in the future φ ' is at least s. We start by dening a linear temporal logic LT ..."
Abstract
- Add to MetaCart
(Show Context)
ii We present a logic for reasoning about temporal properties of distributed systems and nitely additive probability. The language for this logic allows us to make statements such as The probability of 'sometime in the future φ ' is at least s. We start by dening a linear temporal logic LTL with a sound and complete axiomatic system. We next dene a distributed temporal logic DTL and show that this logic is reducible to LTL. To introduce probabilities in the linear temporal logic we dene pLTL. We then make a rst attempt for probabilities in a distributed temporal logic with PDTLL by having probabilities in the temporal states. Finally we settle for an exogenous approach, PDTLG, with probabilities over the models of a distributed temporal logic. iv
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols
"... ar ..."
(Show Context)
