414 search results - page 73 / 83 » Using Strongest Postconditions to Improve Software Quality |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
IUI
2000
ACM
14 years 29 days ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
CIKM
2007
Springer
14 years 2 months ago
2007
Springer
Pseudo-relevance feedback, or query expansion, has been shown to improve retrieval performance in the adhoc retrieval task. In such a scenario, a few top-ranked documents are assu...
CGO
2009
IEEE
14 years 18 days ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...