Sciweavers

2933 search results - page 235 / 587
» Agent-Grid Integration Language
Sort
View
SIGMOD
2001
ACM
115views Database» more  SIGMOD 2001»
16 years 4 months ago
Efficient Evaluation of XML Middle-ware Queries
We address the problem of efficiently constructing materialized XML views of relational databases. In our setting, the XML view is specified by a query in the declarative query la...
Mary F. Fernandez, Atsuyuki Morishima, Dan Suciu
139
Voted
ESOP
2010
Springer
16 years 1 months ago
Verifying a Compiler for Java Threads
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
Andreas Lochbihler
ECOOP
2007
Springer
15 years 10 months ago
Towards Runtime Adaptation in a SOA Environment
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
Florian Irmert, Marcus Meyerhöfer, Markus Wei...
152
Voted
PADL
2007
Springer
15 years 10 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
Chuck C. Liang
RR
2007
Springer
15 years 10 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...