2272 search results - page 223 / 455 » A Calculus for |
145
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
142
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
150
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
135
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
134
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...