17450 search results - page 3090 / 3490 » Numerical Methods with Applications |
194
click to vote
ENTCS
2008
15 years 7 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
171
click to vote
ENTCS
2008
15 years 7 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
210
click to vote
APIN
2006
15 years 7 months ago
2006
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
171
click to vote
EOR
2008
15 years 7 months ago
2008
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...
174
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...