1636 search results - page 204 / 328 » Type-Theoretic Functional Semantics |
142
click to vote
SAINT
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's wireless and mobile services are typically monolithic and often centralized in nature, which limits heterogeneous service access and shared service usage. New sources...
116
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
142
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
146
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
119
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...