7404 search results - page 1231 / 1481 » New Tools in Education |
169
click to vote
CPE
2003
Springer
16 years 5 hour ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
172
click to vote
DEXA
2003
Springer
16 years 3 hour ago
2003
Springer
In recent years, link-based information retrieval methods from the Web are developed. A framework of these methods is a Web graph using pages as vertices and Web-links as edges. In...
199
click to vote
ERSHOV
2003
Springer
16 years 24 min ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
210
click to vote
ESORICS
2003
Springer
16 years 5 sec ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
181
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we present a general framework for passwordbased authenticated key exchange protocols, in the common reference odel. Our protocol is actually an abstraction...