×

Found 3 Documents (Results 1–3)

Applet verification strategies for RAM-constrained devices. (English) Zbl 1028.68524

Lee, Pil Joong (ed.) et al., Information security and cryptology - ICISC 2002. 5th international conference, Seoul, Korea, November 28-29, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2587, 118-137 (2003).
MSC:  68P25
PDFBibTeX XMLCite
Full Text: Link

Reducing the memory complexity of type-inference algorithms. (English) Zbl 1023.68563

Deng, Robert (ed.) et al., Information and communications security. 4th international conference, ICICS 2002, Singapore, December 9-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2513, 109-121 (2002).
MSC:  68P25 94A60
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Year of Publication

Main Field