Sciweavers

3689 search results - page 402 / 738
» A Language with Distributed Scope
Sort
View
155
Voted
ENTCS
2008
131views more  ENTCS 2008»
15 years 5 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 5 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
139
Voted
JASIS
2008
125views more  JASIS 2008»
15 years 5 months ago
A tool for data cube construction from structurally heterogeneous XML documents
Data cubes for OLAP (Online Analytical Processing) often need to be constructed from data located in several distributed and autonomous information sources. Such a data integratio...
Turkka Näppilä, Kalervo Järvelin, T...
146
Voted
JNW
2008
128views more  JNW 2008»
15 years 5 months ago
A Proxy-Based Approach to Enhancing the Autonomic Behavior in Composite Services
Web services paradigm is allowing applications to electronically interact with one another over the Internet. The business process execution language (BPEL) takes this ion to a hig...
Onyeka Ezenwoye, Seyed Masoud Sadjadi
127
Voted
CORR
2002
Springer
72views Education» more  CORR 2002»
15 years 4 months ago
Using the Annotated Bibliography as a Resource for Indicative Summarization
We report on a language resource consisting of 2000 annotated bibliography entries, which is being analyzed as part of our research on indicative document summarization. We show h...
Min-Yen Kan, Judith L. Klavans, Kathleen McKeown