Sciweavers

5863 search results - page 939 / 1173
» On Model-Checking of P Systems
Sort
View
CSFW
2006
IEEE
16 years 19 days ago
On the Completeness of Attack Mutation Algorithms
An attack mutation algorithm takes a known instance of an attack and transforms it into many distinct instances by repeatedly applying attack transformations. Such algorithms are ...
Shai Rubin, Somesh Jha, Barton P. Miller
GLOBECOM
2006
IEEE
16 years 19 days ago
On the Feasibility of Very Low Complexity Trust Modules Using PKPS Synergies
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
Mahalingam Ramkumar
HICSS
2006
IEEE
95views Biometrics» more  HICSS 2006»
16 years 19 days ago
Towards an Ecological Perspective on the Evolution of Online Communities of Practice
In the era of knowledge economy, more and more people view online communities of practice (CoPs) as wellspring of precious knowledge. Notably, many researchers support the notion ...
Sheng-cheng Lin, Fu-ren Lin
IWIA
2006
IEEE
16 years 18 days ago
The LAIDS/LIDS Framework for Systematic IPS Design
The recent outbreaks of extremely fast spreading worms highlight the inadequacy of the current patching approach. Intrusion prevention systems (IPSs) that automatically generate a...
Simon P. Chung, Aloysius K. Mok
CEC
2005
IEEE
16 years 6 days ago
Evolution of L-systems for compact virtual landscape generation
An L-system or Lindenmayer system consists of a grammar and an interpreter. The grammar contains an axiom, usually a short string, that the grammar expands into a long, complex st...
Daniel A. Ashlock, Stephen P. Gent, Kenneth Mark B...