624 search results - page 53 / 125 » Repositories with Public Data about Software Development |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...
102
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Massively parallel sequencing readouts of epigenomic assays are enabling integrative genome-wide analyses of genomic and epigenomic variation. Pash 3.0 performs sequen...
WSC
2000
14 years 11 months ago
2000
The UNOS Kidney Allocation Model (UKAM) is a software tool for the simulation and analysis of national cadaveric kidney and kidney-pancreas allocation policies for transplantation...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
110
click to vote
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...