2678 search results - page 471 / 536 » Operational Semantics of Transactions |
126
click to vote
ICDCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
107
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
144
click to vote
SSDBM
2000
IEEE
15 years 6 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
108
click to vote
CC
2000
Springer
15 years 6 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
118
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...