2137 search results - page 140 / 428 » Proving Abstract Non-interference |
134
click to vote
ENTCS
2007
15 years 3 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
ENTCS
2007
15 years 3 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
126
click to vote
JSAC
2006
15 years 3 months ago
2006
Abstract--In this paper, we describe and analyze a joint scheduling, routing and congestion control mechanism for wireless networks, that asymptotically guarantees stability of the...
121
click to vote
MOR
2008
15 years 3 months ago
2008
Abstract. We propose a new solution method for optimal stopping problems with random discounting for linear diffusions whose state space has a combination of natural, absorbing, or...
103
click to vote
NA
2008
15 years 3 months ago
2008
Abstract. In the course of their work on Salem numbers and uniform distribution modulo 1, A. Akiyama and Y. Tanigawa proved some inequalities concerning the values of the Bessel fu...