13734 search results - page 2419 / 2747 » Abstractions of data types |
174
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
166
click to vote
ICWL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
199
click to vote
INDOCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The recently introduced Galois/Counter Mode (GCM) of operation for block ciphers provides both encryption and message authentication, using universal hashing based on mul...
209
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...
176
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...