1880 search results - page 5 / 376 » A Static Analysis for Beta-Binders |
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Smartphones are getting increasingly popular and several malwares appeared targeting these devices. General countermeasures to smartphone malwares are currently limited to signatur...
VMCAI
2012
Springer
12 years 3 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
JUCS
2010
13 years 2 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
SOFTWARE
2002
13 years 7 months ago
2002
TMI
2002
13 years 7 months ago
2002
A discrete coil EIT system is investigated for the general case of an eccentric circular inhomogeneity. The solution methodology of the forward problem of this system is explained....