2776 search results - page 293 / 556 » System-Level Abstraction Semantics |
163
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
160
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
187
click to vote
LOPSTR
2007
Springer
16 years 24 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
191
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
190
click to vote
IHIS
2005
ACM
16 years 7 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...