Sciweavers

962 search results - page 155 / 193
» Input validation analysis and testing
Sort
View
ISCI
2010
111views more  ISCI 2010»
14 years 10 months ago
Effective vaccination policies
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
L. Shaw, W. Spears, L. Billings, P. Maxim
TAOSD
2010
14 years 10 months ago
Aspect-Oriented Development Using Protocol Modeling
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
Ashley T. McNeile, Ella E. Roubtsova
IPPS
2010
IEEE
14 years 9 months ago
Highly scalable parallel sorting
Sorting is a commonly used process with a wide breadth of applications in the high performance computing field. Early research in parallel processing has provided us with comprehen...
Edgar Solomonik, Laxmikant V. Kalé
SICHERHEIT
2010
14 years 9 months ago
Quantifying the Attack Surface of a Web Application
Abstract: The attack surface of a system represents the exposure of application objects to attackers and is affected primarily by architecture and design decisions. Given otherwise...
Thomas Heumann, Sven Türpe, Jörg Keller
IJRR
2010
135views more  IJRR 2010»
14 years 9 months ago
Design and field experimentation of a prototype Lunar prospector
Scarab is a prototype rover for Lunar missions to survey resources in polar craters. It is designed as a prospector that would use a deep coring drill and apply soil analysis inst...
David Wettergreen, Scott Moreland, Krzysztof Skoni...