3238 search results - page 648 / 648 » On the Computational Interpretation of Negation |
TMC
2012
11 years 8 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
GI
2007
Springer
13 years 12 months ago
2007
Springer
: Aufgrund juristisch formulierter und damit h¨aufig schwer verst¨andlicher Pr¨ufungsordnungen haben viele Studierende Probleme, ihr Studium gem¨aß ihrer Pr¨ufungsordnung f...
QEST
2005
IEEE
13 years 11 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...