785 search results - page 91 / 157 » Static Analysis of Android Programs |
97
Voted
ACG
2006
Springer
15 years 8 months ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
128
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
127
click to vote
GPCE
2009
Springer
15 years 4 days ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
113
click to vote
SETP
2007
15 years 3 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
114
Voted
TCAD
2010
15 years 22 days ago
2010
—With the scaling of complementary metal–oxide– semiconductor (CMOS) technology into the nanometer regime, the overshooting effect due to the input-to-output coupling capacit...