549 search results - page 24 / 110 » Verification condition generation for conditional informatio... |
TPPP
1994
15 years 4 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...
97
Voted
CDC
2009
IEEE
15 years 1 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...
107
Voted
CVPR
1997
IEEE
15 years 4 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...
86
Voted
SIGSOFT
2008
ACM
16 years 1 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...
101
Voted
TSE
2002
15 years 3 days 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...