Sciweavers

4212 search results - page 626 / 843
» Rights Expression Languages
Sort
View
VLDB
1997
ACM
94views Database» more  VLDB 1997»
15 years 10 months ago
Describing and Using Query Capabilities of Heterogeneous Sources
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
Vasilis Vassalos, Yannis Papakonstantinou
CODES
1994
IEEE
15 years 10 months ago
Towards a declarative framework for hardware-software codesign
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
Wayne Luk, Teddy Wu
CCL
1994
Springer
15 years 10 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
CIKM
1994
Springer
15 years 10 months ago
Facilitating Transformations in a Human Genome Project Database
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
Susan B. Davidson, Anthony Kosky, Barbara A. Eckma...
MPC
1992
Springer
135views Mathematics» more  MPC 1992»
15 years 10 months ago
A Calculus for Predicative Programming
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
Emil Sekerinski