2588 search results - page 161 / 518 » Applications of Kolmogorov complexity to computable model th... |
98
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Recent results have established that a variety of voting rules are computationally hard to manipulate in the worst-case; this arguably provides some guarantee of resistance to man...
105
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
115
Voted
P2P
2009
IEEE
15 years 8 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
126
Voted
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
111
click to vote
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Web applications are no longer simple hyperlinked documents. They have progressively evolved to become highly complex—web pages combine content from several sources (with varyin...