Sciweavers

3429 search results - page 66 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
MODELS
2009
Springer
14 years 2 months ago
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
Manuel Wimmer, Angelika Kusel, Johannes Schön...
ICFP
2009
ACM
14 years 8 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
CII
2010
87views more  CII 2010»
13 years 8 months ago
The Unified Enterprise Modelling Language - Overview and further work
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
Víctor Anaya, Giuseppe Berio, Mounira Harza...
SAC
2000
ACM
13 years 11 months ago
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
James F. Power, Brian A. Malloy
AIMSA
2000
Springer
14 years 5 days ago
Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing
The paper discusses the potential of the usage of Extended Boolean operations for personalized information delivery on the Internet based on semantic vector representation models. ...
Preslav Nakov