456 search results - page 35 / 92 » What is good |
153
click to vote
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
157
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
A new sub-optimal subset search method for feature selection is introduced. As opposed to other till now known subset selection methods the oscillating search is not dependent on ...
157
click to vote
ECWEB
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Digital goods such as music are vulnerable to illegal use over the internet. Technology-driven IT solutions to protection are useful but limited. Instead, we suggest that...
126
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
190
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...