12670 search results - page 2460 / 2534 » Requirements Modeling |
94
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
166
Voted
CANS
2006
Springer
15 years 6 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
134
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...
120
Voted
CHES
2006
Springer
15 years 6 months ago
2006
Springer
Side-channel attacks are a serious threat to implementations of cryptographic algorithms. Secret information is recovered based on power consumption, electromagnetic emanations or ...
109
Voted
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...