3688 search results - page 135 / 738 » Static analysis of aspects |
158
click to vote
SMI
1999
IEEE
15 years 10 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...
146
click to vote
ALP
1994
Springer
15 years 10 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 ...
169
click to vote
SODA
2010
ACM
15 years 4 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 ...
167
click to vote
ECLIPSE
2006
ACM
16 years 2 days 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...
152
Voted
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...