2253 search results - page 340 / 451 » An Approach to Specifying Software Frameworks |
244
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
257
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
154
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
171
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...
173
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
WAIF is a new framework to facilitate easy user access for Internet users to relevant news items. WAIF supports new kinds of browsers, personalized filters, recommendation systems...