3429 search results - page 443 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
133
click to vote
IANDC
2010
15 years 3 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
135
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
132
click to vote
ICWS
2009
IEEE
16 years 1 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...
124
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...
110
click to vote
TKDE
2002
15 years 4 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...