Sciweavers

9444 search results - page 375 / 1889
» The Language Model LMNtal
Sort
View
MODELLIERUNG
2004
15 years 8 months ago
UML-A oder warum die Wissenschaft ihre eigene einheitliche Modellierungssprache haben sollte
: Mit der Standardisierung der Unified Modeling Language (UML) wurde der Versuch unternommen, f
Friedrich Steimann
APLAS
2005
ACM
15 years 8 months ago
A Parametric Model for the Analysis of Mobile Ambients
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
Dino Distefano
ACL
2000
15 years 8 months ago
A Maximum Entropy/Minimum Divergence Translation Model
I describe two methods for incorporating information about the relative positions of bilingual word pairs into a Maximum Entropy/Minimum Divergence translation model. The better o...
George F. Foster
SAC
2010
ACM
15 years 1 months ago
Inter-DSL coordination support by combining megamodeling and model weaving
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
Frédéric Jouault, Bert Vanhooff, Hug...
ICALP
2005
Springer
16 years 10 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese