3799 search results - page 181 / 760 » An Engineering Approach to Formal Methods |
121
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
137
click to vote
COLING
1992
15 years 5 months ago
1992
The normal method for representing anaphoric dependencies in Unification Based grammar tbrmalisms is that of re-entrance. In this paper, we address the problems that this represen...
159
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
154
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
169
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
IT/business alignment has constantly been among the top priorities for IT executives. From a prescriptive, design research perspective, our analysis of related work shows that nei...