1148 search results - page 110 / 230 » Software engineering considered harmful |
133
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
We investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. We consider two elemen...
114
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
142
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
107
click to vote
EDBTW
2010
Springer
15 years 9 months ago
2010
Springer
We study the problem of update propagation across views in the setting where both the view and the source database are XML documents. We consider a simple class of XML views that ...
121
click to vote
ISESE
2002
IEEE
15 years 8 months ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...