Search Sciweavers | Sciweavers

16616 search results - page 172 / 3324

» Extending Extended Vacuity

137

click to vote

CIKM
2004
Springer

114views Information Technology» more CIKM 2004»

Extending and inferring functional dependencies in schema transformation

15 years 10 months ago

Download www.comp.nus.edu.sg

We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...

Qi He, Tok Wang Ling

claim paper

Read More »

133

Voted

ECAI
2004
Springer

122views Artificial Intelligence» more ECAI 2004»

Extending Defeasible Logic and Defeasible Prolog

15 years 10 months ago

Download www.helsinki.fi

Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...

Ahti-Veikko Pietarinen

claim paper

Read More »

119

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 10 months ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

127

Voted

ESORICS
2004
Springer

103views Security Privacy» more ESORICS 2004»

Towards a Theory of Data Entanglement: (Extended Abstract)

15 years 10 months ago

Download www.cs.yale.edu

d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...

James Aspnes, Joan Feigenbaum, Aleksandr Yampolski...

claim paper

Read More »

127

Voted

FC
2004
Springer

78views Cryptology» more FC 2004»

Timing Attacks in Low-Latency Mix Systems (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers