4725 search results - page 564 / 945 » Dependence-Based Program Analysis |
166
click to vote
ICSM
2006
IEEE
16 years 25 days ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
166
click to vote
CONEXT
2006
ACM
16 years 23 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...
178
click to vote
ETRA
2006
ACM
16 years 23 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...
175
click to vote
ESORICS
2005
Springer
16 years 9 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...
166
click to vote
ICLP
2005
Springer
16 years 9 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...