2432 search results - page 249 / 487 » Cryptographic logical relations |
245
click to vote
IDA
2008
Springer
15 years 6 months ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
184
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...
190
click to vote
STORAGESS
2005
ACM
16 years 5 days ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
155
click to vote
EDBT
2002
ACM
16 years 6 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...
179
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...