3381 search results - page 222 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
189
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
153
click to vote
SCAM
2006
IEEE
16 years 18 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
190
click to vote
ICCBR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for deļ¬ning them have not been developed yet. One approach to simplify the deļ...
160
click to vote
ENASE
2010
15 years 1 months ago
2010
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...