3560 search results - page 500 / 712 » integration 2008 |
155
click to vote
SIAMSC
2010
15 years 5 months ago
2010
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...
222
click to vote
SOSYM
2010
15 years 5 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
229
click to vote
SPE
2010
15 years 5 months ago
2010
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
199
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
207
click to vote
TASLP
2010
15 years 5 months ago
2010
—This paper presents a set of novel physical models for sound synthesis of membrane percussion instruments. First, a model for tension modulation in a struck circular membrane is...