Sciweavers

1112 search results - page 106 / 223
» software 2002
Sort
View
107
Voted
WWW
2002
ACM
16 years 4 months ago
Certified email with a light on-line trusted third party: design and implementation
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...
Martín Abadi, Neal Glew
105
Voted
ICECCS
2002
IEEE
106views Hardware» more  ICECCS 2002»
15 years 8 months ago
Validating Run-time Interactions in Distributed Java Applications
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Re...
PG
2002
IEEE
15 years 8 months ago
Two Methods for Creating Chinese Painting
We present two methods to create realistic Chinese painting. The first method is to create 3D Chinese painting animation using existing software packages. The second method is an...
Ching (Clara) Chan, Ergun Akleman, Jianer Chen
CORR
2002
Springer
95views Education» more  CORR 2002»
15 years 3 months ago
An Integrated Framework for Treebanks and Multilayer Annotations
Treebank formats and associated software tools are proliferating rapidly, with little consideration for interoperability. We survey a wide variety of treebank structures and opera...
Scott Cotton, Steven Bird
ENTCS
2002
78views more  ENTCS 2002»
15 years 3 months ago
ESUIF: An Open Esterel Compiler
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
Stephen Edwards