9997 search results - page 1788 / 2000 » The case for crowd computing |
176
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
195
click to vote
WAOA
2005
Springer
16 years 2 days ago
2005
Springer
Given a graph with a source and a sink node, the NP–hard maximum k–splittable flow (MkSF) problem is to find a flow of maximum value with a flow decomposition using at most...
169
click to vote
CP
2005
Springer
16 years 1 days ago
2005
Springer
While Planning has been a key area in Artificial Intelligence since its beginnings, significant changes have occurred in the last decade as a result of new ideas and a more estab...
155
click to vote
ACMSE
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we propose a routing protocol that is based on securing the routing information from unauthorized users. Even though routing protocols of this category are already ...
159
click to vote
ACMSE
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...