227 search results - page 46 / 46 » Formal verification of systems with an unlimited number of c... |
XMLSEC
2003
ACM
13 years 10 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
BMCBI
2010
13 years 5 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...