5748 search results - page 171 / 1150 » Contexts for the Semantic Web |
202
click to vote
JAR
2007
15 years 7 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
222
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
195
click to vote
OWLED
2007
15 years 8 months ago
2007
RDF is the format of choice to exchange data between software components of a corporate system. That’s why we decided to use it in a recent work at Renault, in the field of tech...
186
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
175
click to vote
SEMWEB
2004
Springer
16 years 13 days ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...