2272 search results - page 265 / 455 » A Calculus for |
133
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
136
click to vote
FMOODS
2006
15 years 5 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
186
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
152
click to vote
SEBD
1997
15 years 5 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
122
click to vote
IJCAI
1993
15 years 5 months ago
1993
In this paper a framework is developed for measuring the complexities of deductions in an ab stract and computationally perspicuous man ner. As a notion of central importance ...