2407 search results - page 435 / 482 » A Tool for Abstraction in Model Checking |
TEC
2008
14 years 9 months ago
2008
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...
JSW
2007
14 years 9 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
CTW
2002
14 years 9 months ago
2002
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...
INFORMATICALT
2002
14 years 9 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
TAPOS
1998
14 years 9 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...