Sciweavers

467 search results - page 34 / 94
» Designer Definites in Logical Form
Sort
View
FPGA
2003
ACM
156views FPGA» more  FPGA 2003»
14 years 2 months ago
Architectures and algorithms for synthesizable embedded programmable logic cores
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...
Noha Kafafi, Kimberly Bozman, Steven J. E. Wilton
JANCL
2006
123views more  JANCL 2006»
13 years 9 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas
EDBT
2004
ACM
129views Database» more  EDBT 2004»
14 years 9 months ago
T-Araneus: Management of Temporal Data-Intensive Web Sites
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
Paolo Atzeni, Pierluigi Del Nostro
IAJIT
2008
94views more  IAJIT 2008»
13 years 9 months ago
Enforcing User-Defined Constraints during the Run-Time in OODB
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
Belal Zaqaibeh, Hamidah Ibrahim, Ali Mamat, Md Nas...
HT
2004
ACM
14 years 2 months ago
Hypertext versioning for embedded link models
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
Kai Pan, E. James Whitehead Jr., Guozheng Ge