Sciweavers

1837 search results - page 187 / 368
» Abstraction and the C Machine Model
Sort
View
ACSAC
2010
IEEE
15 years 4 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
SIAMADS
2010
97views more  SIAMADS 2010»
15 years 1 months ago
Localized States in a Model of Pattern Formation in a Vertically Vibrated Layer
Abstract. We consider a novel asymptotic limit of model equations proposed to describe the formation of localized states in a vertically vibrated layer of granular material or visc...
J. H. P. Dawes, S. Lilley
NSPW
2006
ACM
16 years 16 days ago
Sanitization models and their limitations
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lis...
CSB
2005
IEEE
130views Bioinformatics» more  CSB 2005»
16 years 6 days ago
iSimBioSys: An "In Silico" Discrete Event Simulation Framework for Modeling Biological Systems
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
ICCSA
2005
Springer
16 years 3 days ago
An Economic Capacity Planning Model Considering Inventory and Capital Time Value
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
S. Michael Wang, Kung-Jeng Wang, Hui-Ming Wee, J. ...