3088 search results - page 530 / 618 » A Teleradiology System Design Case |
157
click to vote
CARDIS
2004
Springer
16 years 7 days 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...
177
click to vote
CASSIS
2004
Springer
16 years 7 days 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...
186
click to vote
CIKM
2004
Springer
16 years 7 days 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...
151
click to vote
CRYPTO
2004
Springer
16 years 7 days 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...
188
click to vote
VMCAI
2004
Springer
16 years 5 days 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...