1356 search results - page 268 / 272 » The ideal of verified software |
AES
2008
Springer
13 years 11 months ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
BMCBI
2010
2010
KiDoQ: using docking based energy scores to develop ligand based model for predicting antibacterials
13 years 11 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...
BMCBI
2007
13 years 11 months ago
2007
Background: Domains are the basic functional units of proteins. It is believed that protein-protein interactions are realized through domain interactions. Revealing multi-domain c...
JOT
2006
13 years 10 months ago
2006
This paper presents the middleware needed to deploy jobs to non-geographically colocated clusters with decentralized look-up severs. We have named our framework the Initium Remote...
IEEESP
2007
13 years 10 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...