1809 search results - page 224 / 362 » Software Model Checking Using Linear Constraints |
115
Voted
BMCBI
2010
2010
KiDoQ: using docking based energy scores to develop ligand based model for predicting antibacterials
15 years 2 months ago
Background: Identification of novel drug targets and their inhibitors is a major challenge in the field of drug designing and development. Diaminopimelic acid (DAP) pathway is a u...
146
click to vote
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
147
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
119
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...