Sciweavers

4074 search results - page 663 / 815
» Abstract Graph Transformation
Sort
View
EUROPKI
2004
Springer
15 years 7 months ago
On the Use of Weber Polynomials in Elliptic Curve Cryptography
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
Elisavet Konstantinou, Yannis C. Stamatiou, Christ...
FIDJI
2004
Springer
15 years 7 months ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
117
Voted
FOIKS
2004
Springer
15 years 7 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
GI
2004
Springer
15 years 7 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
IBERAMIA
2004
Springer
15 years 7 months ago
Improving the Performance of a Named Entity Extractor by Applying a Stacking Scheme
Abstract. In this paper we investigate the way of improving the performance of a Named Entity Extraction (NEE) system by applying machine learning techniques and corpus transformat...
José A. Troyano, Víctor J. Dí...