4061 search results - page 756 / 813 » Framework Evolution Tool |
130
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...
107
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
107
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
116
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
129
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...