Sciweavers

1890 search results - page 371 / 378
» Model-Based Testing in Practice
Sort
View
MSOM
2007
118views more  MSOM 2007»
14 years 9 months ago
What Can Be Learned from Classical Inventory Models? A Cross-Industry Exploratory Investigation
: Classical inventory models offer a variety of insights into the optimal way to manage inventories of individual products. However, top managers and industry analysts are often co...
Sergey Rumyantsev, Serguei Netessine
PVLDB
2008
138views more  PVLDB 2008»
14 years 9 months ago
A skip-list approach for efficiently processing forecasting queries
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
Tingjian Ge, Stanley B. Zdonik
ICDT
2010
ACM
163views Database» more  ICDT 2010»
14 years 8 months ago
Composing Local-As-View Mappings
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
Patricia Arocena, Ariel Fuxman, Renee Miller
OOPSLA
2010
Springer
14 years 8 months ago
Scalable and systematic detection of buggy inconsistencies in source code
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
Mark Gabel, Junfeng Yang, Yuan Yu, Moisés G...
81
Voted
SIAMJO
2010
83views more  SIAMJO 2010»
14 years 7 months ago
The Lifted Newton Method and Its Application in Optimization
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
Jan Albersmeyer, Moritz Diehl