2500 search results - page 377 / 500 » Specifying Behavior in C |
114
click to vote
SIGECOM
2003
ACM
15 years 8 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...
131
Voted
SIGECOM
2003
ACM
15 years 8 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...
118
Voted
EMSOFT
2003
Springer
15 years 8 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...
155
Voted
GI
2003
Springer
15 years 8 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...
135
Voted
IPTPS
2003
Springer
15 years 8 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 ...