3388 search results - page 359 / 678 » Type-theoretic design patterns |
175
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
We describe an object oriented approach to developing an Identity Based Encryption system. We show how an existing API was reused and extended to facilitate our development of the...
174
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
230
click to vote
IJCAI
2003
15 years 8 months ago
2003
To support more efficient video database management, this paper explores the concept of video association mining, with which the association patterns are characterized by sequenti...
173
click to vote
MASCOTS
1998
15 years 8 months ago
1998
As the processor-memory performance gap continues to grow, so does the need for effective tools and metrics to guide the design of efficient memory hierarchies to bridge that gap....
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...