176 search results - page 36 / 36 » Formal Verification of Gate-Level Computer Systems |
152
click to vote
COMPSAC
2010
IEEE
15 years 28 days 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...