3088 search results - page 530 / 618 » A Teleradiology System Design Case |
147
click to vote
CARDIS
2004
Springer
15 years 11 months ago
2004
Springer
More and more services provided by Internet pose a problem of privacy and anonymity. One cryptographic tool that could be used for solving this problem is the group signature [1, 5...
156
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
164
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
140
click to vote
CRYPTO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a compact and efficient representation of elements of the algebraic torus. This allows us to design a new discretelog based public-key system achieving the o...
181
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...