5525 search results - page 227 / 1105 » Verification of Model Transformations |
100
click to vote
MR
2007
15 years 4 months ago
2007
The development of a simplified analytical model to describe the thermal history of a Printed Circuit Board assembly (PCA) during convective reflow soldering is described in this ...
121
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
127
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
128
click to vote
FLAIRS
2006
15 years 5 months ago
2006
A natural language generation system must generate expressions that allow a reader to identify the entities to which they refer. This paper describes the creation of referring-exp...