10890 search results - page 106 / 2178 » Automatic Complexity Analysis |
126
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 2 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
120
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
119
Voted
CCS
2006
ACM
15 years 6 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
136
click to vote
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
In this work, we propose a novel method for deformable tensor?to?tensor registration of Diffusion Tensor Images. Our registration method models the distances in between the tensors...
120
Voted
FGIT
2009
Springer
15 years 9 months ago
2009
Springer
Recently, most of malicious web pages include obfuscated codes in order to circumvent the detection of signature-based detection systems .It is difficult to decide whether the sti...