5084 search results - page 119 / 1017 » Proving Possibility Properties |
154
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
An infinite word has the property Rm if every factor has exactly m return words. Vuillon showed that R2 characterizes Sturmian words. We prove that a word satisfies Rm if its compl...
142
click to vote
DC
2000
15 years 5 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
157
click to vote
IGPL
2011
15 years 14 days ago
2011
In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in prov...
155
click to vote
IFIP
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
138
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...