549 search results - page 24 / 110 » Verification condition generation for conditional informatio... |
141
click to vote
TPPP
1994
15 years 9 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
161
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
157
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents an approach to measuring fluid flow from image sequences. The approach centers around a motion recovery algorithm that is based on principles from fluid mechan...
131
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
150
click to vote
TSE
2002
15 years 5 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...