11436 search results - page 2112 / 2288 » Modeling Real Reasoning |
184
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
159
click to vote
TCC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
176
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
160
click to vote
STEP
2005
IEEE
16 years 2 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
202
click to vote
SIGECOM
2005
ACM
16 years 2 days ago
2005
ACM
We introduce a new class of games, congestion games with failures (CGFs), which extends the class of congestion games to allow for facility failures. In a basic CGF (BCGF) agents ...