3555 search results - page 644 / 711 » Security-Critical System Development with Extended Use Cases |
140
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
WIESS
2000
15 years 2 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
119
click to vote
ELPUB
2006
ACM
15 years 7 months ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
105
click to vote
SCOPES
2005
Springer
15 years 6 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
107
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...