12745 search results - page 2394 / 2549 » Automating test automation |
196
click to vote
IJCNN
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— The generalised linear model (GLM) is the standard approach in classical statistics for regression tasks where it is appropriate to measure the data misfit using a lik...
211
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
— Frequent failure occurrences are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in ...
198
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
160
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
155
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...