1516 search results - page 219 / 304 » Trends in Software Verification |
CSREASAM
2008
14 years 11 months ago
2008
Abstract--Packet Level Authentication (PLA) is a novel countermeasure against distributed denial-of-service attacks. Each packet sent across a network has a digital signature and p...
RE
2006
Springer
14 years 9 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
ASE
2005
14 years 9 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
102
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
CASES
2010
ACM
14 years 7 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...