446 search results - page 63 / 90 » A proof markup language for Semantic Web services |
182
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
172
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
167
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Instant Messaging (IM) is in addition to Web and Email the most popular service on the Internet. With xOperator we present a strategy and implementation which deeply integrates Ins...
176
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
149
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...