12193 search results - page 2051 / 2439 » It's not all about |
182
click to vote
SIGSOFT
2004
ACM
16 years 8 days ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
175
click to vote
ACRI
2004
Springer
16 years 7 days ago
2004
Springer
We have investigated a problem where the goal is to ļ¬nd automatically the best rule for a cell in the cellular automata model. The cells are either of type OBSTACLE, EMPTY or CRE...
207
click to vote
ASIACRYPT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Even and Mansour [EM97] proposed a block cipher construction that takes a publicly computable random permutation oracle P and XORs diļ¬erent keys prior to and after appl...
192
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the eļ¬ectiveness of repeated applic...
210
click to vote
CPM
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we investigate the protein sequence design (PSD) problem (also known as the inverse protein folding problem) under the Canonical model 4 on 2D and 3D lattices [12, 25...