Sciweavers

2978 search results - page 109 / 596
» Operations Research
Sort
View
DSS
2006
93views more  DSS 2006»
15 years 3 months ago
Merging workflows: A new perspective on connecting business processes
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...
Shuang Sun, Akhil Kumar, John Yen
CSC
2010
15 years 1 months ago
Efficiency in Computing Correlation Matrix of Wavelet Coefficients by Exploiting Index Structure
Correlation matrices are ubiquitous throughout signal processing, networking and in many areas of science. However, our study of the literature found that there is limited research...
Claude Turner
VLDB
2007
ACM
110views Database» more  VLDB 2007»
15 years 9 months ago
GeRoMeSuite: A System for Holistic Generic Model Management
Manipulation of models and mappings is a common task in the design and development of information systems. Research in Model Management aims at supporting these tasks by providing...
David Kensche, Christoph Quix, Xiang Li 0002, Yong...
JAIR
2007
87views more  JAIR 2007»
15 years 3 months ago
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wa...
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
16 years 3 days ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke