2302 search results - page 115 / 461 » Testing as Abstraction |
144
click to vote
ICRA
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— In order to reduce computational burden of identification methods for multivariable systems, a hierarchical least squares (HLS) algorithm is developed. The basic idea ...
159
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
174
click to vote
DT
2000
15 years 6 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
169
click to vote
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
153
click to vote
ICSOC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...