537 search results - page 77 / 108 » A threat-driven approach to modeling and verifying secure so... |
OOPSLA
2009
Springer
14 years 4 days ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
BMCBI
2010
2010
KiDoQ: using docking based energy scores to develop ligand based model for predicting antibacterials
13 years 7 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...