23704 search results - page 62 / 4741 » Data and Information as Property |
ACM
1987
15 years 5 months ago
1987
Balanced codes have the property that no codeword is "contained" in another.This property makes balanced codes attractive for certain applications, such as the encoding ...
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
TACAS
1999
Springer
15 years 6 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
133
click to vote
CONIELECOMP
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we present a set of formulations that describe some properties of the configurations that can represent the n-Dimensional Orthogonal PseudoPolytopes. Moreover, we de...
114
click to vote
EKAW
2000
Springer
15 years 5 months ago
2000
Springer
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a v...