2748 search results - page 215 / 550 » Generating Object-Z Specifications from Use Cases |
71
Voted
CCE
2005
15 years 20 days ago
2005
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal catalysts is presented in this paper. Previous CAMD rese...
134
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
103
click to vote
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. For high-spee...
124
click to vote
BMCBI
2005
15 years 21 days ago
2005
Background: Current protein clustering methods rely on either sequence or functional similarities between proteins, thereby limiting inferences to one of these areas. Results: Her...