3809 search results - page 161 / 762 » Associative language descriptions |
191
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
162
click to vote
ISICT
2003
15 years 7 months ago
2003
The Web Services Framework provides techniques to enable the application-toapplication use of the Web. It has the potential of becoming the core of a new Web-based middleware plat...
153
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
168
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this poster, we describe a framework composed of the R2O mapping language and the ODEMapster processor to upgrade relational legacy data to the Semantic Web. The framework is b...