Sciweavers

250 search results - page 23 / 50
» Implementing a Control System Framework for Automatic Genera...
Sort
View
DSN
2007
IEEE
14 years 1 months ago
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
Silvano Chiaradonna, Paolo Lollini, Felicita Di Gi...
SASO
2008
IEEE
14 years 2 months ago
A Framework for Self-Protecting Cryptographic Key Management
Demands to match security with performance in Web applications where access to shared data needs to be controlled dynamically make self-protecting security schemes attractive. Yet...
Anne V. D. M. Kayem, Patrick Martin, Selim G. Akl,...
POLICY
2007
Springer
14 years 1 months ago
An Automated Framework for Validating Firewall Policy Enforcement
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-S...
ICCS
2003
Springer
14 years 25 days ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
PLDI
1993
ACM
13 years 11 months ago
Guardians in a Generation-Based Garbage Collector
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
R. Kent Dybvig, Carl Bruggeman, David Eby