4516 search results - page 430 / 904 » Semantic Web and Education |
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
203
click to vote
ITCC
2005
IEEE
16 years 18 days ago
2005
IEEE
Web services are becoming an important enabler of the Semantic Web. Besides the need for a rich description mechanism, Web Service information should be made available in an acces...
193
click to vote
HT
2007
ACM
15 years 11 months ago
2007
ACM
In the modern Web, users are accessing their favourite Web applications from any place, at any time and with any device. In this setting, they expect the application to user-tailo...
215
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
190
click to vote
TCS
2010
15 years 5 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...