176 search results - page 36 / 36 » Formal Verification of Gate-Level Computer Systems |
134
Voted
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...