2133 search results - page 208 / 427 » Using the CALANDA Time Series Management System |
189
click to vote
BIS
2007
15 years 7 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
159
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we report our findings on the impact of providing users with varying degrees of control in an automated interactive scheduling system. While automated scheduling te...
151
click to vote
JSW
2008
15 years 6 months ago
2008
The MURA phenomenon will result lots of problems in Photomask and TFT-LCD industries as well. In this paper, we designed and developed a MURA related association rules which suitab...
171
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
146
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...