3028 search results - page 499 / 606 » Integrating Temporal Logics |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Our work concerns the elucidation of the cancer (epi)genome, transcriptome and proteome to better understand the complex interplay between a cancer cell's molecular state and ...
VLSI
2010
Springer
13 years 2 months ago
2010
Springer
Electro-Magnetic Analysis has been identified as an efficient technique to retrieve the secret key of cryptographic algorithms. Although similar mathematically speaking, Power or E...
ESSOS
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
ASPDAC
2012
ACM
12 years 3 months ago
2012
ACM
— Since re-designing and re-optimizing existing logic, memory, and IP blocks in a 3D fashion significantly increases design cost, nearterm three-dimensional integrated circuit (...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...