15421 search results - page 327 / 3085 » Dependability |
205
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
152
click to vote
IIR
2010
15 years 8 months ago
2010
Recommender systems are intelligent applications that help on-line users to tackle information overload by providing recommendations of relevant items. Collaborative Filtering (CF...