Sciweavers

281 search results - page 36 / 57
» A functional logic database library
Sort
View
106
Voted
COMSIS
2004
119views more  COMSIS 2004»
15 years 9 days ago
A Method and a Tool for Rapid Prototyping of Large-Scale Business Information Systems
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
Gordana Milosavljevic, Branko Perisic
94
Voted
PODS
2008
ACM
110views Database» more  PODS 2008»
16 years 17 days ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu
133
Voted
ER
2004
Springer
161views Database» more  ER 2004»
15 years 5 months ago
Towards a Statistically Semantic Web
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
Gerhard Weikum, Jens Graupmann, Ralf Schenkel, Mar...
115
Voted
ICDE
1994
IEEE
135views Database» more  ICDE 1994»
15 years 4 months ago
QBISM: Extending a DBMS to Support 3D Medical Images
We describe the design and implementation of QBISM (Query By Interactive, Spatial Multimedia), a prototype for querying and visualizing 3D spatial data. Our first application is i...
Manish Arya, William F. Cody, Christos Faloutsos, ...
104
Voted
PPDP
2009
Springer
15 years 7 months ago
Reasoning with hypothetical judgments and open terms in hybrid
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
Amy P. Felty, Alberto Momigliano