5255 search results - page 724 / 1051 » Formal Methods for Privacy |
185
click to vote
DFG
2003
Springer
15 years 12 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
168
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
171
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
198
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
181
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...