430 search results - page 2 / 86 » Statistical Certification of Software Systems |
182
Voted
ICRA
1994
IEEE
15 years 10 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...
140
Voted
SEAA
2008
IEEE
16 years 5 days 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...
139
click to vote
COMPSAC
2001
IEEE
15 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...
135
Voted
IRI
2007
IEEE
16 years 2 days 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]....
122
Voted
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE