5634 search results - page 187 / 1127 » About Abstract Classes |
IJFCS
2008
14 years 11 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
IJBC
2007
14 years 11 months ago
2007
Abstract. The stable and unstable invariant manifolds associated with Lyapunov orbits about the libration point L1 between the primaries in the planar circular restricted three-bod...
106
click to vote
JANCL
2007
14 years 11 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
104
click to vote
IACR
2011
13 years 11 months ago
2011
Abstract. SQUARE, an 8-round substitution-permutation block cipher, is considered as the predecessor of the AES. In this paper, inspired from the recent biclique attack on the AES ...
117
click to vote
FMOODS
2008
15 years 23 days ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...