Sciweavers

5220 search results - page 842 / 1044
» Changing Persistent Applications
Sort
View
CIDR
2009
157views Algorithms» more  CIDR 2009»
15 years 7 months ago
Capturing Data Uncertainty in High-Volume Stream Processing
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
Yanlei Diao, Boduo Li, Anna Liu, Liping Peng, Char...
CIDR
2009
161views Algorithms» more  CIDR 2009»
15 years 7 months ago
A Case for A Collaborative Query Management System
Over the past 40 years, database management systems (DBMSs) have evolved to provide a sophisticated variety of data management capabilities. At the same time, tools for managing q...
Nodira Khoussainova, Magdalena Balazinska, Wolfgan...
ECAI
2010
Springer
15 years 7 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
GECCO
2008
Springer
182views Optimization» more  GECCO 2008»
15 years 7 months ago
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
Heather Goldsby, Betty H. C. Cheng
GG
2008
Springer
15 years 7 months ago
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
Guilherme Rangel, Leen Lambers, Barbara König...