3564 search results - page 435 / 713 » Evaluating a Formal Modelling Language |
122
Voted
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
137
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce the Spherical Admixture Model (SAM), a Bayesian topic model for arbitrary 2 normalized data. SAM maintains the same hierarchical structure as Latent Dirichlet Allocat...
158
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
126
click to vote
TCS
2010
15 years 2 months ago
2010
In the inductive inference framework of learning in the limit, a variation of the bounded example memory (Bem) language learning model is considered. Intuitively, the new model co...
135
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...