805 search results - page 115 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
104
click to vote
FDL
2006
IEEE
15 years 3 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
GCB
2008
Springer
14 years 10 months ago
2008
Springer
: Array-based analysis of chromatin immunoprecipitation data (ChIP-chip) is a powerful technique for identifying DNA target regions of individual transcription factors. Here, we pr...
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...