6300 search results - page 1003 / 1260 » We have it easy, but do we have it right |
107
click to vote
SPIN
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
112
click to vote
JAT
2011
14 years 8 months ago
2011
Stone-Weierstrass-type theorems for groups of group-valued functions with discrete range or discrete domain are obtained. We study criteria for a subgroup of the group of continuou...
227
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
122
click to vote
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
106
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...