6846 search results - page 968 / 1370 » Developing an Active Observer |
179
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
158
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...
184
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
177
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
173
click to vote
ICIAP
1999
ACM
15 years 11 months ago
1999
ACM
The auroral emissions observed in the high-latitude regions encircling the magnetic poles are a key element in studying plasmaphysical processes in the near-Earth space, the magne...