24451 search results - page 4833 / 4891 » Research methods in information |
CCS
2008
ACM
14 years 12 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
BTW
2005
Springer
14 years 12 months ago
2005
Springer
: Ideas from terminology management, the science of terms and definitions, can be used to improve the quality of software and data models, as well as to facilitate the achievement ...
115
click to vote
CASES
2005
ACM
14 years 12 months ago
2005
ACM
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
CIVR
2008
Springer
14 years 11 months ago
2008
Springer
Great effort has been made to improve video concept detection and continuous progress has been reported. With the current evaluation method being confined to carefully annotated d...
DIAGRAMS
2008
Springer
14 years 11 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...