2137 search results - page 323 / 428 » Proving Abstract Non-interference |
108
Voted
SETN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
112
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
145
Voted
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...
131
Voted
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
106
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract—In this paper we analyze the M/G/1 processor sharing queue with heavy tailed services and with impatient customers. It is assumed that impatience depends on the value of...