3639 search results - page 12 / 728 » Provenance as Dependency Analysis |
ICDE
2008
IEEE
15 years 4 months ago
2008
IEEE
Network accountability and forensic analysis have become increasingly important, as a means of performing network diagnostics, identifying malicious nodes, enforcing trust managem...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Many successful applications have proven the potential of Learning Classifier Systems and the XCS classifier system in particular in datamining, reinforcement learning, and func...
DEXAW
2006
IEEE
15 years 3 months ago
2006
IEEE
We study inference rules for multivalued dependencies in relational databases with null values (NMVDs). The definition of NMVDs is dependent on the underlying relation schema and ...
TIME
1998
IEEE
15 years 1 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...