5775 search results - page 405 / 1155 » A Rationale-based Analysis Tool |
210
click to vote
APLAS
2005
ACM
16 years 13 days ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
185
click to vote
ICAPR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
215
click to vote
AGTIVE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
145
click to vote
DEXAW
2002
IEEE
15 years 12 months ago
2002
IEEE
The World Wide Web, due to its sheer size and dynamics, has turned into one of the most fascinating and important data sources for large-scale analysis and investigation, ranging ...
185
click to vote
COST
2009
Springer
15 years 11 months ago
2009
Springer
Empirical mode decomposition (EMD) is an algorithm for signal analysis recently introduced by Huang. It is a completely datadriven non-linear method for the decomposition of a sign...