11374 search results - page 126 / 2275 » Demonstration of the CROSSMARC System |
113
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
In this demonstration paper, the prototype called REal-time TraffIc NAvigation System (RETINA) is introduced. The goal is to investigate the effectiveness of various soft real-tim...
146
click to vote
ICTAC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
191
click to vote
ESORICS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This article presents an efficient public-key protocol for mutual authentication and key exchange designed for third generation mobile communications systems. The paper a...
191
click to vote
ISSAC
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
163
click to vote
ODRL
2004
15 years 8 months ago
2004
This paper presents REAP, a system for rights management in digital libraries. REAP is aimed at demonstrating that intellectual property can be published in the Internet by digita...