892 search results - page 83 / 179 » Strategies in sentential reasoning |
194
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
155
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning stra...
181
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
154
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Progress in insider-threat detection is currently limited by a lack of realistic, publicly available, real-world data. For reasons of privacy and confidentiality, no one wants to...
180
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
— P2P streaming tries to achieve scalability (like P2P file distribution) and at the same time meet real-time playback requirements. It is a challenging problem still not well u...