5639 search results - page 338 / 1128 » Timed Abstract Non-interference |
100
click to vote
RECOMB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract Constantinos Daskalakis1 , Elchanan Mossel2, , and Sebastien Roch1 1 Microsoft Research 2 UC Berkeley and Weizman Institute We introduce a new phylogenetic reconstruction ...
122
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
114
Voted
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiti...
145
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
122
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In order to efficiently use Grid resources, users or middlewares must use some network information, and in particular some knowledge of the platform network. As such kn...