2500 search results - page 377 / 500 » Specifying Behavior in C |
154
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
We analyze data from 52 online in-game sports betting markets (where betting is allowed continuously throughout a game), including 34 markets based on soccer (European football) g...
179
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
155
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
203
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
175
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
Much of the existing work in peer to peer networking assumes that users will follow prescribed protocols without deviation. This assumption ignores the user’s ability to modify ...