302 search results - page 47 / 61 » Indexing the Java API Using Source Code |
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...
153
click to vote
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
110
click to vote
MM
2005
ACM
15 years 5 months ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
Desktop Grids represent an alternative trend in Grid computing using the same software infrastructure as Volunteer Computing projects, such as BOINC. Applications to be deployed o...
103
click to vote
ACMSE
2005
ACM
15 years 1 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...