5255 search results - page 724 / 1051 » Formal Methods for Privacy |
204
Voted
DFG
2003
Springer
16 years 20 days 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...
188
Voted
FM
2003
Springer
16 years 20 days 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...
191
Voted
FM
2003
Springer
16 years 20 days 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...
215
Voted
FORMATS
2003
Springer
16 years 20 days 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...
211
Voted
AINA
2010
IEEE
16 years 16 days 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...