3547 search results - page 211 / 710 » Pseudo-Exhaustive Testing for Software |
194
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
191
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
270
click to vote
SIMPRA
2011
15 years 2 months ago
2011
We propose a method to detect the onset of linear trend in a time series and estimate the change point T from the profile of a linear trend test statistic, computed on consecutive...
175
click to vote
COMPSAC
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
183
click to vote
COMPSAC
2002
IEEE
16 years 5 days ago
2002
IEEE
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...