Sciweavers

3101 search results - page 47 / 621
» Using Relational Databases in the Engineering Repository Sys...
Sort
View
DBA
2004
72views Database» more  DBA 2004»
15 years 3 months ago
Explicit and Implicit LIST Aggregate Function for Relational Databases
We argue for a new aggregate function we termed the LIST function. It aggregates a set of values of one or more attributes into a single value that is internally a list of these v...
Witold Litwin
SIGSOFT
2008
ACM
16 years 3 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
222
Voted
EUROSYS
2011
ACM
14 years 6 months ago
Database engines on multicores, why parallelize when you can distribute?
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
Tudor-Ioan Salomie, Ionut Emanuel Subasu, Jana Gic...
ICTAI
2007
IEEE
15 years 8 months ago
Enriching OWL Ontologies with Linguistic and User-Related Annotations: The ELEON System
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
Dimitris Bilidas, Maria Theologou, Vangelis Karkal...
ACL
2009
15 years 9 days ago
System for Querying Syntactically Annotated Corpora
This paper presents a system for querying treebanks. The system consists of a powerful query language with natural support for cross-layer queries, a client interface with a graph...
Petr Pajas, Jan Stepánek