Sciweavers

3302 search results - page 457 / 661
» Software Is More Than Code
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
15 years 3 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
SOSP
2007
ACM
16 years 2 months ago
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
Emre Kiciman, V. Benjamin Livshits
TRUST
2010
Springer
15 years 11 months ago
Beyond Kernel-Level Integrity Measurement: Enabling Remote Attestation for the Android Platform
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
Mohammad Nauman, Sohail Khan, Xinwen Zhang, Jean-P...
BMCBI
2007
195views more  BMCBI 2007»
15 years 6 months ago
NeuroTerrain - a client-server system for browsing 3D biomedical image data sets
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
Carl Gustafson, William J. Bug, Jonathan Nissanov
ECCV
2006
Springer
16 years 7 months ago
Higher Order Image Pyramids
Abstract. The scale invariant property of an ensemble of natural images is examined which motivates a new early visual representation termed the higher order pyramid. The represent...
Joshua Gluckman