2607 search results - page 214 / 522 » On the Architecture of System Verification Environments |
147
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
172
click to vote
IMSCCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Slowdown is used to measure the fairness degree of a scheduling algorithm in existing work. However, the fairness degree should be considered within a scheduling algorithm; rather...
153
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
194
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
196
click to vote
IJNSEC
2010
15 years 1 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...