339 search results - page 14 / 68 » Abstracting Interactions Based on Message Sets |
SIMVIS
2004
13 years 8 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
CISC
2005
Springer
14 years 8 days ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
CIT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...
INTERACT
2007
13 years 8 months ago
2007
Abstract. Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, ...
CRYPTO
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Non-Interactive Zero Knowledge (NIZK), introduced by Blum, Feldman, and Micali in 1988, is a fundamental cryptographic primitive which has attracted considerable attentio...