430 search results - page 2 / 86 » Statistical Certification of Software Systems |
ICRA
1994
IEEE
13 years 9 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
SEAA
2008
IEEE
13 years 11 months ago
2008
IEEE
When software systems incorporate existing software components, there is a need to evaluate these components. Component evaluation is of two kinds according to literature: compone...
COMPSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
IRI
2007
IEEE
13 years 11 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
ISSRE
2006
IEEE
13 years 11 months ago
2006
IEEE