1187 search results - page 65 / 238 » Designing presentations for on-demand viewing |
LOPSTR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
ARITH
2001
IEEE
14 years 23 days ago
2001
IEEE
This paper presents an unified view of most previous table-lookup-and-addition methods: bipartite tables, SBTM, STAM and multipartite methods. This new definition allows a more ac...
USENIX
2003
13 years 10 months ago
2003
We present the design and implementation of CGD, the CryptoGraphic Disk driver. CGD is a pseudo-device driver that sits below the buffer cache, and provides an encrypted view of a...
CRIWG
1998
13 years 10 months ago
1998
This paper presents an objects-based framework for building collaborative applications. The framework consists of ten objects: box, boxObject, environment, user, role, session, br...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...