6829 search results - page 1289 / 1366 » Quantitative Generalizations of Languages |
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
JCDL
2009
ACM
14 years 4 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
JCDL
2009
ACM
14 years 4 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
RECSYS
2009
ACM
14 years 4 months ago
2009
ACM
We present an incentive-based architecture for providing recommendations in a social network. We maintain a distinct reputation system for each individual and we rely on users to ...