3745 search results - page 503 / 749 » Sonic: System Description |
179
click to vote
MICS
2010
15 years 5 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
199
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
211
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
180
click to vote
IGARSS
2010
15 years 4 months ago
2010
This paper describes some of the novel technologies adopted in the realization of the NASA Dual-frequency Dualpolarized Doppler Radar (D3R) system for to be used by the GPM ground...
340
click to vote
EUROPKI
2009
Springer
15 years 4 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...