21319 search results - page 3845 / 4264 » An Approach for Method Reengineering |
175
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
198
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
This paper addresses the topic of social advertising, which refers to the allocation of ads based on individual user social information and behaviors. As social network services (e...
219
click to vote
WEA
2010
Springer
15 years 4 months ago
2010
Springer
Classifying network flows by their application type is the backbone of many crucial network monitoring and controlling tasks, including billing, quality of service, security and tr...
201
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Latent relational search is a new search paradigm based on the degree of analogy between two word pairs. A latent relational search engine is expected to return the word Paris as a...
199
click to vote
WISTP
2010
Springer
15 years 4 months ago
2010
Springer
Although many countermeasures have been developed for desktop and server environments, buffer overflows still pose a big threat. The same approach can be used to target mobile devi...