5639 search results - page 1030 / 1128 » Timed Abstract Non-interference |
111
click to vote
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
118
Voted
WISEC
2010
ACM
15 years 8 months ago
2010
ACM
Abstract A Martian who arrived on Earth today would surely conclude that computing and communications security are in a crisis situation. The popular media as well as technical pub...
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
121
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...
118
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...