1302 search results - page 119 / 261 » Fair Equivalence Relations |
160
click to vote
FOSSACS
2009
Springer
16 years 19 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
143
click to vote
ICALP
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
160
click to vote
IDEAS
2009
IEEE
16 years 15 days ago
2009
IEEE
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...
167
click to vote
LICS
2008
IEEE
16 years 7 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
213
click to vote
SSC
2007
Springer
15 years 12 months ago
2007
Springer
Bent functions f : Fm 2 → F2 achieve largest distance to all linear functions. Equivalently, their spectrum with respect to the Hadamard-Walsh transform is flat (i.e. all spectr...