4281 search results - page 64 / 857 » How to Disembed a Program |
APCCM
2007
13 years 9 months ago
2007
Integration of XML data is an increasingly important problem and many methods have recently been developed. In this talk, we examine the related and more challenging task of how t...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
When designing novel GUI controls, interaction designers are challenged by the “immaterial” materiality of the digital domain; they lack tools that effectively support a refle...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
– With our proposed decomposition into layers, a generic framework leading to the reuse of previously produced software and the extraction of useful portions can be achieved. The...