3688 search results - page 235 / 738 » Static analysis of aspects |
193
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
256
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
There exist emerging applications of data streams that require association rule mining, such as network traffic monitoring and web click streams analysis. Different from data in t...
163
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
163
click to vote
CONPAR
1992
15 years 10 months ago
1992
A major feature of Computer Algebra, and more generally of non-numerical computations, is the dynamical and non-predictable behaviour of the executions. We then understand that st...
153
click to vote
PARMA
2004
15 years 8 months ago
2004
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...