3971 search results - page 119 / 795 » On the Use of Properties in Java Applications |
136
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
149
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
132
Voted
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
140
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: During the past decades, research and development in drug discovery have attracted much attention and efforts. However, only 324 drug targets are known for clinical dr...
130
click to vote
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
MathEdit [23] is a browser-based tool implemented in JavaScript that provides a convenient and intuitive graphical user interface for creating and editing mathematical expressions...