593 search results - page 113 / 119 » tools 2011 |
135
click to vote
PERVASIVE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
95
Voted
PLDI
2011
ACM
14 years 1 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
102
click to vote
POPL
2011
ACM
14 years 1 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
122
click to vote
POPL
2011
ACM
14 years 1 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
150
click to vote
POPL
2011
ACM
14 years 1 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...