1499 search results - page 157 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
168
click to vote
QEST
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
182
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
168
click to vote
SRDS
1998
IEEE
15 years 10 months ago
1998
IEEE
We study parallel algorithms for computing the minimum spanning tree of a weighted undirected graph G with n vertices and m edges. We consider an input graph G with m=n p, where p...
163
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
152
click to vote
SP
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper, we present ShieldGen, a system for automatically generating a data patch or a vulnerability signature for an unknown vulnerability, given a zero-day attack instance...