4418 search results - page 884 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
IEEEVAST
2010
13 years 19 days ago
2010
Data sets in astronomy are growing to enormous sizes. Modern astronomical surveys provide not only image data but also catalogues of millions of objects (stars, galaxies), each ob...
IPSN
2011
Springer
12 years 9 months ago
2011
Springer
While a number of acoustic localisation systems have been proposed over the last few decades, these have typically either relied on expensive dedicated microphone arrays and works...
CSFW
2011
IEEE
12 years 5 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...