Sciweavers

117 search results - page 24 / 24
» Bochvar-McCarthy Logic and Process Algebra
Sort
View
ENTCS
2006
134views more  ENTCS 2006»
13 years 10 months ago
Anonymity in Probabilistic and Nondeterministic Systems
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
Catuscia Palamidessi
DEDS
2000
83views more  DEDS 2000»
13 years 10 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...