3052 search results - page 257 / 611 » A community-aware search engine |
181
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
172
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
176
click to vote
METRICS
1997
IEEE
15 years 11 months ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
187
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
178
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...