Sciweavers

101 search results - page 11 / 21
» Inoculating Software for Survivability
Sort
View
EJC
2010
13 years 4 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
ECOOP
2008
Springer
13 years 11 months ago
Bristlecone: A Language for Robust Software Systems
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
Brian Demsky, Alokika Dash
ACMSE
2004
ACM
14 years 3 months ago
A model-driven approach for generating embedded robot navigation control software
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
Bina Shah, Rachael Dennison, Jeff Gray
SOSP
2009
ACM
14 years 6 months ago
Automatically patching errors in deployed software
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman...
BIOCOMP
2006
13 years 11 months ago
An Artificial Neural Network based Model to Analyze Malarial Data and Predict Organ Failure
Health Care Management is one of the most important and most important research areas of the new millennium. The main purpose of this work was to analyze the data on malaria patie...
Dinesh P. Mital, Shankar Srinivasan, Syed Haque, R...