Sciweavers

2 search results - page 1 / 1
» Verifying Low-Level Implementations of High-Level Datatypes
Sort
View
CAV
2010
Springer
154views Hardware» more  CAV 2010»
14 years 1 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
WWW
2001
ACM
14 years 10 months ago
Combining RDF and XML schemas to enhance interoperability between metadata application profiles
The term "application profile" has recently become highly topical. Heery and Patel [1] define application profiles as metadata schemas which consist of metadata elements...
Jane Hunter, Carl Lagoze