4217 search results - page 62 / 844 » Computational indistinguishability logic |
ECOOPW
1998
Springer
15 years 2 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
KI
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
ICALP
2009
Springer
15 years 4 months 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...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper addresses the problem of cooperative localization (CL) under severe communication constraints. Specifically, we present minimum mean square error (MMSE) and maximum...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—There has been significant recent interest in covert communication using timing channels. In network timing channels, information is leaked by controlling the time between tran...