1678 search results - page 232 / 336 » An ASM Specification of C |
213
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
193
click to vote
ICIW
2009
IEEE
15 years 4 months ago
2009
IEEE
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...
208
click to vote
ICOODB
2009
15 years 4 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
174
click to vote
CCR
2010
15 years 4 months ago
2010
The cybersecurity information exchange framework, known as CYBEX, is currently undergoing its first iteration of standardization efforts within ITU-T. The framework describes how ...
162
click to vote
IJMDEM
2010
15 years 3 months ago
2010
For large archives of audio media, just as with text archives, indexing is important for allowing quick and accurate searches. Similar to text archives, audio archives can use tex...