1730 search results - page 121 / 346 » Open Archiving for Open Research |
SPIN
2012
Springer
12 years 16 days ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriï¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiï¬...
SIGMOD
2008
ACM
13 years 10 months ago
2008
ACM
Provenance in the context of workflows, both for the data they derive and for their specification, is an essential component to allow for result reproducibility, sharing, and know...
SCIENTOMETRICS
2010
13 years 8 months ago
2010
This paper revisits an aspect of citation theory (i.e., citer motivation) with respect to the Mathematical Review system and the reviewer’s role in mathematics. We focus on a se...
IJOSSP
2010
13 years 5 months ago
2010
Empirical research on software development based on data obtained from project repositories and code forges is increasingly gaining attention in the software engineering research ...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...