13 search results - page 3 / 3 » On Simulatability Soundness and Mapping Soundness of Symboli... |
CCS
2010
ACM
13 years 9 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
ECOI
2011
13 years 5 months ago
2011
The potential for physical flora collections to support scientific research is being enhanced by rapid development of digital databases that represent characteristics of the physic...
MDM
2004
Springer
14 years 4 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...