2746 search results - page 499 / 550 » Case Study in Survivable Network System Analysis |
117
click to vote
IJEB
2007
15 years 1 months ago
2007
Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
117
click to vote
JSC
2010
14 years 12 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
109
click to vote
TSE
2010
14 years 11 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
152
click to vote
XPU
2010
Springer
14 years 11 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
109
click to vote
ERSA
2010
14 years 11 months ago
2010
Reconfigurable computing (RC) applications have the potential for significant performance while consuming little power. Although runtime performance analysis of RC applications has...