Sciweavers

1587 search results - page 143 / 318
» The Semantics of Extended SOFL
Sort
View
SIGMOD
2003
ACM
150views Database» more  SIGMOD 2003»
14 years 9 months ago
Capturing both Types and Constraints in Data Integration
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juli...
ESWS
2009
Springer
14 years 3 months ago
A Rule System for Querying Persistent RDFS Data
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
Giovambattista Ianni, Thomas Krennwallner, Alessan...
HICSS
2008
IEEE
128views Biometrics» more  HICSS 2008»
14 years 3 months ago
Service Composition Language to Unify Simulation and Optimization of Supply Chains
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Alexander Brodsky, Malak Al-Nory, Hadon Nash
CSMR
2007
IEEE
14 years 3 months ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy
RTAS
2007
IEEE
14 years 3 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee