Sciweavers

542 search results - page 54 / 109
» An Integrated Systems Approach to Explanation-Based Conceptu...
Sort
View
JOT
2008
142views more  JOT 2008»
14 years 11 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
BMCBI
2006
129views more  BMCBI 2006»
14 years 12 months ago
EGenBio: A Data Management System for Evolutionary Genomics and Biodiversity
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...
Laila A. Nahum, Matthew T. Reynolds, Zhengyuan O. ...
DEBU
2008
141views more  DEBU 2008»
14 years 12 months ago
Oracle's SQL Performance Analyzer
We present the SQL Performance Analyzer, a novel approach in Oracle Database 11g to testing database changes, such as upgrades, parameter changes, schema changes, and gathering op...
Khaled Yagoub, Peter Belknap, Benoît Dagevil...
IJCIM
2002
141views more  IJCIM 2002»
14 years 11 months ago
STEP-based data schema for implementing product data management system
Currently, the challenge of implementing a product data management system (PDMS) is how to ensure system integration and product data exchange is shared between heterogeneous syste...
Shen-Chou Yeh, Chun-Fong You
EDBT
2002
ACM
136views Database» more  EDBT 2002»
15 years 12 months ago
Rewriting Unions of General Conjunctive Queries Using Views
The problem of finding contained rewritings of queries using views is of great importance in mediated data integration systems. In this paper, we first present a general approach f...
Junhu Wang, Michael J. Maher, Rodney W. Topor