1236 search results - page 95 / 248 » The Problems of Data Modeling in Software Practice |
193
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
173
click to vote
SEFM
2006
IEEE
16 years 21 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
172
click to vote
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
143
click to vote
EUROPAR
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we consider the problem of modeling machine availability in enterprise-area and wide-area distributed computing settings. Using availability data gathered from three...
174
click to vote
EDBTW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...