6434 search results - page 814 / 1287 » Model Transformations with Reference Models |
145
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
175
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
168
click to vote
INDOCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
In a proxy signature scheme, a potential signer delegates his capabilities to a proxy signer, who can sign documents on behalf of him. The recipient of the signature verifies both...
141
Voted
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
183
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...