1128 search results - page 87 / 226 » Little Engines of Proof |
ERCIMDL
2004
Springer
15 years 3 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
MSR
2010
ACM
15 years 2 months ago
2010
ACM
—Clones are generally considered bad programming practice in software engineering folklore. They are identified as a bad smell and a major contributor to project maintenance dif...
IEEEPACT
2000
IEEE
15 years 2 months ago
2000
IEEE
Recent research suggests that DSM clusters can benefit from parallel coherence controllers. Parallel controllers require address partitioning and synchronization to avoid handlin...
VAMOS
2008
Springer
14 years 11 months ago
2008
Springer
Understanding and modeling the variability of an existing system is a highly critical and challenging task when adopting a product line approach. Only little guidance is available...
IPM
2008
14 years 9 months ago
2008
Many Web sites have begun allowing users to submit items to a collection and tag them with keywords. The folksonomies built from these tags are an interesting topic that has seen ...