2957 search results - page 248 / 592 » Code analysis and CS-XML |
123
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
115
Voted
LREC
2008
15 years 5 months ago
2008
This paper outlines the new resource technologies, products and applications that have been constructed during the development of a multi-modal (MM hereafter) corpus tool on the D...
158
Voted
ENTCS
2006
15 years 3 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
141
Voted
TCSV
2008
15 years 3 months ago
2008
This paper describes a probabilistic framework for faithful reproduction of dynamic facial expressions on a synthetic face model with MPEG-4 facial animation parameters (FAPs) whil...
125
click to vote
VIROLOGY
2008
15 years 3 months ago
2008
Several malware analysis techniques suppose that the disassembled code of a piece of malware is available, which is however not always possible. This paper proposes a flexible and ...