8555 search results - page 1402 / 1711 » Property Based Coordination |
175
click to vote
CONCUR
2003
Springer
16 years 23 hour ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Treļ¬er4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
183
click to vote
ECML
2003
Springer
16 years 19 hour ago
2003
Springer
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems ā...
211
click to vote
EUROCAST
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract. We present a 3D geometric ļ¬ow designed to evolve in Diļ¬usion Tensor Magnetic Resonance Images(DT-MRI) along ļ¬ber tracts by measuring the diļ¬usive similarity betwe...
200
click to vote
EUROCRYPT
2003
Springer
16 years 17 hour ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
202
click to vote
FORMATS
2003
Springer
16 years 15 hour ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a speciļ¬cation formalism suitable for describing both nondeterminis...