4211 search results - page 500 / 843 » Types as Abstract Interpretations |
180
click to vote
GFKL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. With the increasing popularity of collaborative tagging systems, services that assist the user in the task of tagging, such as tag recommenders, are more and more require...
199
click to vote
MCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We report on our recent progress in developing an ensemble of classifiers based algorithm for addressing the missing feature problem. Inspired in part by the random subsp...
155
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
166
click to vote
APLAS
2006
ACM
16 years 18 days ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
157
click to vote
APSEC
2005
IEEE
16 years 7 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...