Sciweavers

1746 search results - page 265 / 350
» On the expressiveness of interaction
Sort
View
WWW
2004
ACM
16 years 7 months ago
Semantic Web-based Adaptive Hypermedia
Adaptive Hypermedia constitutes a large portion of the Web nowadays. Issues of personalization and adaptation become crucial for the efficient handling of the information on the I...
Lora Aroyo, Paul De Bra, Vadim I. Chepegin
POPL
2007
ACM
16 years 6 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
RECOMB
2006
Springer
16 years 6 months ago
Identification and Evaluation of Functional Modules in Gene Co-expression Networks
Abstract. Identifying gene functional modules is an important step towards elucidating gene functions at a global scale. In this paper, we introduce a simple method to construct ge...
Jianhua Ruan, Weixiong Zhang
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 6 months ago
Compiling mappings to bridge applications and databases
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
Sergey Melnik, Atul Adya, Philip A. Bernstein
PODS
2008
ACM
110views Database» more  PODS 2008»
16 years 6 months 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