2673 search results - page 114 / 535 » Guided Static Analysis |
249
click to vote
ICWSM
2009
15 years 1 months ago
2009
It has been widely recognized that online opinions constitute important informational sources for consumers and producers. The open nature of communication supported by social med...
132
click to vote
SMI
1999
IEEE
15 years 8 months ago
1999
IEEE
The geometric skeleton is derived from a static object using an implicit `directions' method; an IK skeleton is derived from and used to manipulate the geometric skeleton. Th...
124
click to vote
ALP
1994
Springer
15 years 8 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
146
click to vote
SODA
2010
ACM
15 years 1 months ago
2010
ACM
Differential privacy is a recent notion of privacy tailored to the problem of statistical disclosure control: how to release statistical information about a set of people without ...
142
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...