5355 search results - page 452 / 1071 » Modules |
141
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
112
click to vote
DILS
2005
Springer
15 years 10 months ago
2005
Springer
A goal of the Biomedical Informatics Research Network (BIRN) project sponsored by NCRR/NIH is to develop a multiinstitution information management system for Neurosciences, where e...
149
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
137
click to vote
IH
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper a novel theoretical security analysis will be presented for data hiding methods with side-information, based on Costa’s dirty paper scheme. We quantify th...
138
click to vote
JIT
2005
Springer
15 years 10 months ago
2005
Springer
: On the one hand, traits are a powerful way of structuring classes. Traits support the reuse of method collections over several classes. However, traits cannot be used when specif...