239 search results - page 17 / 48 » Reusing Model Transformations While Preserving Properties |
IGPL
2010
14 years 6 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
83
Voted
ESORICS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
VTC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract—Careful modeling of the radio channel characteristics is an important issue for system level simulations. While a number of detailed path loss, shadowing and fast fading...
BMCBI
2004
14 years 9 months ago
2004
Background: Many real networks can be understood as two complementary networks with two kind of nodes. This is the case of metabolic networks where the first network has chemical ...
74
Voted
FLAIRS
2004
14 years 11 months ago
2004
How to compute marginals efficiently is one of major concerned problems in probabilistic reasoning systems. Traditional graphical models do not preserve all conditional independen...