Sciweavers

899 search results - page 98 / 180
» Implementing declarative overlays
Sort
View
211
Voted
SIGMOD
2009
ACM
141views Database» more  SIGMOD 2009»
16 years 3 months ago
FlexRecs: expressing and combining flexible recommendations
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...
Georgia Koutrika, Benjamin Bercovitz, Hector Garci...
225
Voted
SIGMOD
2006
ACM
94views Database» more  SIGMOD 2006»
16 years 3 months ago
Programming for XML
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
Daniela Florescu, Donald Kossmann
106
Voted
ICFP
2005
ACM
16 years 3 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...
125
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 10 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
138
Voted
COORDINATION
2007
Springer
15 years 10 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali