Sciweavers

11739 search results - page 341 / 2348
» Slideshow: functional presentations
Sort
View
CTRSA
2006
Springer
129views Cryptology» more  CTRSA 2006»
15 years 10 months ago
An Optimal Non-interactive Message Authentication Protocol
Vaudenay recently proposed a message authentication protocol which is interactive and based on short authenticated strings (SAS). We study here SASbased non-interactive message aut...
Sylvain Pasini, Serge Vaudenay
ESOP
2006
Springer
15 years 10 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
CODES
2001
IEEE
15 years 10 months ago
Empirical comparison of software-based error detection and correction techniques for embedded systems
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...
Royan H. L. Ong, Michael J. Pont
RT
2000
Springer
15 years 10 months ago
Wavelet Radiosity on Arbitrary Planar Surfaces
Abstract. Wavelet radiosity is, by its nature, restricted to parallelograms or triangles. This paper presents an innovative technique enabling wavelet radiosity computations on pla...
Nicolas Holzschuch, François Cuny, Laurent ...
BIRD
2008
Springer
163views Bioinformatics» more  BIRD 2008»
15 years 8 months ago
Multi-functional Protein Clustering in PPI Networks
Abstract. Protein-Protein Interaction (PPI) networks contain valuable information for the isolation of groups of proteins that participate in the same biological function. Many pro...
Clara Pizzuti, Simona E. Rombo