Sciweavers

11097 search results - page 357 / 2220
» Hera presentation generator
Sort
View
PLSA
1994
15 years 11 months ago
Technological Steps toward a Software Component Industry
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
Michael Franz
CRYPTO
2006
Springer
99views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Scalable Secure Multiparty Computation
We present the first general protocol for secure multiparty computation which is scalable, in the sense that the amortized work per player does not grow, and in some natural settin...
Ivan Damgård, Yuval Ishai
PADL
2000
Springer
15 years 10 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
POPL
1995
ACM
15 years 10 months ago
Applicative Functors and Fully Transparent Higher-Order Modules
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
Xavier Leroy
ANLP
1997
108views more  ANLP 1997»
15 years 8 months ago
Construction and Visualization of Key Term Hierarchies
This paper presents a prototype system for key term manipulation and visualization in a real-world commercial environment. The system consists of two components. A preprocessor ge...
Joe Zhou, Troy Tanner