3555 search results - page 628 / 711 » Security-Critical System Development with Extended Use Cases |
129
click to vote
ICWE
2003
Springer
15 years 6 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
149
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
145
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Statistical methods for ranking differentially expressed genes (DEGs) from gene expression data should be evaluated with regard to high sensitivity, specificity, and r...
145
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
131
click to vote
ASWSD
2004
Springer
15 years 6 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...