11 search results - page 1 / 3 » Modular Information Hiding and Type-Safe Linking for C |
TSE
2008
13 years 4 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
WONTO
2008
13 years 6 months ago
2008
During the last three years there has been growing interest and consequently active research on ontology modularization. This paper presents a concrete tool that incorporates an ap...
PET
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Recent work has focused on hiding explicit network identifiers such as hardware addresses from the link layer to enable anonymous communications in wireless LANs. These ...
AOSD
2005
ACM
13 years 10 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...