1516 search results - page 10 / 304 » Trends in Software Verification |
TSE
2002
13 years 8 months ago
2002
SIMPRA
2011
13 years 3 months ago
2011
We propose a method to detect the onset of linear trend in a time series and estimate the change point T from the profile of a linear trend test statistic, computed on consecutive...
CSE
2009
IEEE
13 years 9 months ago
2009
IEEE
Recent years have witnessed an increasing trend of enterprises outsource their IT services to third parties. A major concern in database outsourcing paradigm is integrity verificat...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—We study the vulnerability reports in the Common Vulnerability and Exposures (CVE) database by using topic models on their description texts to find prevalent vulnerability typ...
VLSI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--Microprocessor architectures have become increasingly power limited in recent years. Currently power and thermal envelopes dictate peak performance limits more than any o...