605 search results - page 37 / 121 » A strategy for efficiently verifying requirements |
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
We describe a novel method for authenticating multicast packets that is robust against packet loss. Our main focus is to minimize the size of the communication overhead required t...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Many techniques have been proposed in the last few years to address performance degradations in end-to-end congestion control. Although these techniques require parameter tuning...
ICDCS
2006
IEEE
14 years 3 months ago
2006
IEEE
Hyperspectral imaging is a new technique which has become increasingly important in many remote sensing applications, including automatic target recognition for military and defen...
TCGOV
2005
Springer
14 years 2 months ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...