Abstract. We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eaves...
In this paper, a practical electronic-payment (epayment) protocol is presented for use over the internet. The protocol applies the principle of true fair-exchange to the process o...
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
Web services systems impose additional complexity upon software maintenance and evolution processes. To handle it, we propose a framework for evolving and maintaining Web service ...
– This paper describes a fusion of panoramic vision and laser range data to track multiple persons simultaneously from a stationary robot. Particle filters are used to track peop...