399 search results - page 63 / 80 » Efficient Model Checking Using Tabled Resolution |
BMCBI
2010
13 years 8 months ago
2010
Background: Accurately covering the conformational space of amino acid side chains is essential for important applications such as protein design, docking and high resolution stru...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—This paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...
FMSD
2002
13 years 8 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
IJDST
2011
13 years 1 days ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...