2152 search results - page 348 / 431 » On Automating the Calculus of Relations |
176
click to vote
LICS
2009
IEEE
16 years 25 days ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
137
click to vote
LICS
2009
IEEE
16 years 25 days ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
146
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
We present a general methodology to automate the search for equilibrium strategies in games derived from computational experimentation. Our approach interleaves empirical game-the...
164
click to vote
CSL
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
154
click to vote
DRM
2009
Springer
16 years 23 days ago
2009
Springer
Privacy and security have always been key concerns for individuals. They have also been closely related concepts: in order to increase their perception of security, people sacri...