Sciweavers

3984 search results - page 686 / 797
» A Model-Driven Transformation Method
Sort
View
ER
2004
Springer
96views Database» more  ER 2004»
15 years 9 months ago
Topological Consistency for Collapse Operation in Multi-scale Databases
When we derive multi-scale databases from a source spatial database, the geometries and topological relations, which are a kind of constraints defined explicitly or implicitly in ...
Hae-Kyong Kang, Tae-wan Kim, Ki-Joune Li
140
Voted
EUROPKI
2004
Springer
15 years 9 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...
IMTCI
2004
Springer
15 years 9 months ago
Intelligent Data Integration Middleware Based on Updateable Views
We present a new approach to the grid technology that is based on updateable views. Views are used in two ways: (1) as wrappers of local servers that adopt local schemata to the fe...
Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz S...
LPNMR
2004
Springer
15 years 9 months ago
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
Thomas Eiter, Axel Polleres
142
Voted
OTM
2004
Springer
15 years 9 months ago
Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting
Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...
Pieter De Leenheer