1413 search results - page 65 / 283 » Bisimilarity of Open Terms |
90
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Free/Open Source Software (FOSS) development is not the same an Software Engineering (SE). Why this is so is unclear and open to various interpretations. Both address the challeng...
95
Voted
GROUP
2009
ACM
14 years 10 months ago
2009
ACM
"Open contribution systems" (OCS) are online applications that encourage users to contribute and share content in a "public" and open manner. While these syste...
147
Voted
MSR
2011
ACM
14 years 3 months ago
2011
ACM
The FixCache algorithm, introduced in 2007, effectively identifies files or methods which are likely to contain bugs by analyzing source control repository history. However, many ...
102
Voted
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
111
Voted
STACS
2000
Springer
15 years 4 months ago
2000
Springer
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...