404 search results - page 75 / 81 » Application of Linear Logic to Web Service Composition |
107
click to vote
JSS
2006
14 years 9 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
105
click to vote
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
PLDI
2009
ACM
15 years 2 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...