2797 search results - page 161 / 560 » Control Structures |
123
click to vote
JLP
2010
14 years 9 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
106
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
118
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
110
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
125
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— High-precision autofarming is rapidly becoming a reality with the requirements of agricultural applications. Lots of research works have been focused on the automatic guidance ...