621 search results - page 75 / 125 » Functional and structural properties in the Model-Driven Eng... |
BMCBI
2005
14 years 9 months ago
2005
Background: The chemical property and biological function of a protein is a direct consequence of its primary structure. Several algorithms have been developed which determine ali...
BMCBI
2007
14 years 9 months ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...