1058 search results - page 171 / 212 » It's Doomed; We Can Prove It |
155
click to vote
FC
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...
176
click to vote
TPHOL
2007
IEEE
16 years 11 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
183
click to vote
GRID
2007
Springer
16 years 8 days ago
2007
Springer
Abstract— Markets and auctions have been proposed as mechanisms for efficiently and fairly allocating resources in a number of different computational settings. Economic approac...
282
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
175
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...