2830 search results - page 179 / 566 » No Science without Semantics |
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...