7785 search results - page 128 / 1557 » The Concept of Dynamic Analysis |
143
click to vote
WSE
2002
IEEE
15 years 9 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
139
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
165
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
155
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
119
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We report on a study of topic dynamics for pages visited by a sample of people using MSN Search. We examine the predictive accuracies of probabilistic models of topic transitions ...