4752 search results - page 574 / 951 » Dependability in Web Software |
219
click to vote
EDBTW
2010
Springer
16 years 2 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...
235
click to vote
ISPASS
2009
IEEE
16 years 2 months ago
2009
IEEE
Trace-driven simulation of superscalar processors is particularly complicated. The dynamic nature of superscalar processors combined with the static nature of traces can lead to l...
231
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
172
click to vote
RE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract—Security requirements often have implicit assumptions about trust relationships among actors. The more actors trust each other, the less stringent the security requireme...
190
click to vote
SLE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. API migration refers to adapting an application such that its dependence on a given API (the source API) is eliminated in favor of depending on an alternative API (the ta...