2673 search results - page 87 / 535 » Guided Static Analysis |
108
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...
100
click to vote
ELPUB
2006
ACM
15 years 6 months ago
2006
ACM
By the end of this year visitors to the Flemish town of Mechelen can discover the city with the help of the new CityInMyPocket walking guide. Instead of following a person or a bo...
90
Voted
AUTOMATICA
2005
15 years 22 days ago
2005
Abstract-- Static stabilization of a decentralized discretetime single-integrator network that is subject to Markovian variation in the communication/sensing topology is considered...
108
click to vote
MHCI
2005
Springer
15 years 6 months ago
2005
Springer
Users of mobile tour guides often express a strong desire for the system to be able to provide information on arbitrary objects they encounter during their visit – akin to point...
110
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Web search is generally motivated by an information need. Since asking well-formulated questions is the fastest and the most natural way to obtain information for human beings, al...