209 search results - page 1 / 42 » Refinement of Information Flow Architectures |
ICFEM
1997
Springer
13 years 9 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
ETRICS
2006
13 years 9 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
IFIP
2010
Springer
13 years 9 days ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
ICTAC
2005
Springer
13 years 11 months ago
2005
Springer
CVPR
2003
IEEE
14 years 7 months ago
2003
IEEE
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...