3028 search results - page 288 / 606 » Integrating Temporal Logics |
197
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Differential Power Analysis (DPA) presents a major challenge to mathematically-secure cryptographic protocols. Attackers can break the encryption by measuring the energy consumed i...
189
click to vote
JASIS
2000
15 years 6 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
182
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
140
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Abstract - In this paper, we propose the concept of System-InPackage (SIP) as a generalization of System-On-Chip (SOC). System-In-Package overcomes formidable integration barriers ...
187
click to vote
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...