3564 search results - page 308 / 713 » Evaluating a Formal Modelling Language |
178
click to vote
MST
2011
14 years 12 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
134
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
143
Voted
CCR
2008
15 years 5 months ago
2008
Flow records gathered by routers provide valuable coarse-granularity traffic information for several measurement-related network applications. However, due to high volumes of traf...
145
Voted
JMLR
2010
14 years 11 months ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...
199
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...