433 search results - page 33 / 87 » Static Information Flow Analysis of Workflow Models |
CDC
2009
IEEE
13 years 8 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...
IBPRIA
2003
Springer
14 years 25 days ago
2003
Springer
In this paper, we present two new observation models based on optical flow information to track objects using particle filter algorithms. Although optical flow information enabl...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
WSC
2001
13 years 9 months ago
2001
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...