This paper describes a hypermedia infrastructure, called HyperDisco, designed to address important issues such as integration, collaboration, versioning, scalability, openness, di...
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
Brian Grant, Markus Mock, Matthai Philipose, Craig...
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
Mary Jean Harrold, John D. McGregor, Kevin J. Fitz...
Geographic information systems and online mapping technologies have been widely used for supporting participatory decision-making in local communities. However, limited studies ha...