3555 search results - page 213 / 711 » Security-Critical System Development with Extended Use Cases |
156
click to vote
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
167
click to vote
IWMM
2011
Springer
14 years 7 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
115
click to vote
IJBC
2008
15 years 4 months ago
2008
CL_MATCONT is a MATLAB package for the study of dynamical systems and their bifurcations. It uses a minimally augmented system for continuation of the Hopf curve. The Continuation...
161
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Protein alignments are an essential tool for many bioinformatics analyses. While sequence alignments are accurate for proteins of high sequence similarity, they become...
130
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...