4722 search results - page 576 / 945 » Representation-independent program analysis |
162
click to vote
CONEXT
2006
ACM
16 years 19 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
173
click to vote
ETRA
2006
ACM
16 years 19 days ago
2006
ACM
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
172
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
162
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
155
click to vote
IWDW
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...