446 search results - page 79 / 90 » A proof markup language for Semantic Web services |
185
click to vote
EDBTW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
163
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
141
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Service-based distributed computing as a mode of resource sharing is receiving increased attention, motivated both by enterprise applications and by standardization efforts in the...
192
click to vote
SERP
2007
15 years 7 months ago
2007
- Modern tools have simplified the development of the enterprise applications by bridging gaps across various technologies like file systems, relational databases, messaging, and w...
140
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...