572 search results - page 2 / 115 » Formal Properties of Metrical Structure |
FM
2009
Springer
14 years 6 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
WIOPT
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— The inherent nature of the physical setup and transmission mechanism in wireless ad hoc networks with random channel access, results in correlation between the link met...
FSTTCS
2008
Springer
13 years 6 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
EKAW
2000
Springer
13 years 9 months ago
2000
Springer
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a v...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...