1828 search results - page 193 / 366 » From Features to Semantics: Some Preliminary Results |
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
98
Voted
CIBCB
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— We propose a new method for collecting information on regulatory elements found by any motif discovery program. We suggest that combining the results of n leave-oneout ...
107
click to vote
IPTPS
2003
Springer
15 years 7 months ago
2003
Springer
In tree-based multicast systems, a relatively small number of interior nodes carry the load of forwarding multicast messages. This works well when the interior nodes are dedicated...
95
Voted
RTAS
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
123
click to vote
JSC
2010
15 years 6 days ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...