2299 search results - page 213 / 460 » Logical Data Expiration |
124
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
The handling of user preferences is becoming an increasingly important issue in present-day information systems. Among others, preferences are used for information filtering and ex...
167
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
155
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
160
click to vote
ICAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
124
click to vote
ISCAS
2008
IEEE
15 years 11 months ago
2008
IEEE
—A full-custom design of AES SubByte module based on Sense Amplifier Based Logic is proposed in this paper. Power consumption of this design is independent of both value and sequ...