3680 search results - page 288 / 736 » cases 2010 |
191
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Distributed anonymous communication networks like Tor depend on volunteers to donate their resources. However, the efforts of Tor volunteers have not grown as fast as th...
211
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
—Gathering functionally similar agent-based Web services into communities has been proposed and promoted on many occasions. In this paper, we compare the performance of these com...
146
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
175
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
152
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...