842 search results - page 138 / 169 » Open Implementation Design Guidelines |
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
JCDL
2005
ACM
15 years 3 months ago
2005
ACM
As an increasing number of digital library projects embrace the harvesting of item-level descriptive metadata, issues of description granularity and concerns about potential loss ...