11374 search results - page 43 / 2275 » A System Demonstration of ST-TCP |
ICTAC
2007
Springer
15 years 6 months 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...
109
click to vote
ESORICS
1998
Springer
15 years 4 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...
107
click to vote
ISSAC
1998
Springer
15 years 4 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...
ODRL
2004
15 years 1 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...
AAAI
1990
15 years 29 days ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...