2493 search results - page 425 / 499 » Tool Support for Design by Contract |
ACHI
2009
IEEE
15 years 4 months ago
2009
IEEE
Designing CSCW systems that support the widely varying needs of targeted users is difficult. There is no silver bullet technology that enables users to effectively collaborate wit...
CGO
2009
IEEE
15 years 4 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
122
click to vote
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper discusses the design and implementation of a Service Generator Toolkit (SGT) that allows web services researchers to easily create large numbers of web services. When d...
CHI
2009
ACM
15 years 4 months ago
2009
ACM
For over a century, citizen scientists have volunteered to collect huge quantities of data for professional scientists to analyze. We designed Pathfinder, an online environment th...
DEXAW
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper RDFStats is introduced, which is a generator for statistics of RDF sources like SPARQL endpoints and RDF documents. RDFStats does not only provide a statistics gen...