13383 search results - page 2338 / 2677 » Abstractions from proofs |
147
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...
161
click to vote
IMA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software based side-channel attacks allow an unprivileged spy process to extract secret information from a victim (cryptosystem) process by exploiting some indirect leaka...
121
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
128
click to vote
SCIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The study of natural image statistics considers the statistical properties of large collections of images from natural scenes, and has applications in image processing, c...
127
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Can Agile approaches be used successfully in large organizations, where traditional methods and high levels of governance are the norm? Although the iterative, agile approaches ha...