549 search results - page 13 / 110 » Verification condition generation for conditional informatio... |
72
Voted
CSR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
HASE
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
101
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...