4386 search results - page 187 / 878 » A Tamper-Resistant Programming Language System |
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...
134
Voted
ITNG
2007
IEEE
15 years 8 months ago
2007
IEEE
Medical histories provide a rich resource for diagnoses and treatment. Similarly, consumers’ blog postings on health-related topics offer unique data for medical researchers, pr...
102
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
114
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
208
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...