3837 search results - page 98 / 768 » Concurrent Engineering support in Software Engineering |
142
click to vote
DAWAK
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
113
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
147
click to vote
PAKM
2000
15 years 4 months ago
2000
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...
150
click to vote
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
137
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...