3688 search results - page 161 / 738 » Static analysis of aspects |
173
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
189
click to vote
WCRE
2005
IEEE
16 years 2 days ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
150
click to vote
KES
2005
Springer
16 years 15 hour ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...
173
click to vote
ACL
2009
15 years 4 months ago
2009
Content-based approaches to detecting mobile spam to date have focused mainly on analyzing the topical aspect of a SMS message (what it is about) but not on the stylistic aspect (...
163
click to vote
AINA
2007
IEEE
16 years 26 days ago
2007
IEEE
The home environment becomes ready to host distributed devices dynamically adapting to service availability and reacting to user location and user activity. Sensors, high definiti...