Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
CLASP: Integrating Term Subsumption Systems and Production Systems
IEEE Transactions on Knowledge and Data Engineering
Fast Theta-Subsumption with Constraint Satisfaction Algorithms
Machine Learning
A Multilevel Composability Model for Semantic Web Services
IEEE Transactions on Knowledge and Data Engineering
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Supporting rule system interoperability on the semantic web with SWRL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
An offer evaluation system based on buyers' interests
Proceedings of the 2011 ACM Symposium on Applied Computing
Hi-index | 0.00 |
Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...