503 search results - page 31 / 101 » Data Flow Analysis for CCS |
ICIP
1994
IEEE
14 years 9 months ago
1994
IEEE
Motion information is essential in many computer vision and video analysis tasks. Since MPEG is still one of the most prevalent formats for representing, transferring and storing ...
IANDC
2008
13 years 7 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
ANLP
1997
13 years 9 months ago
1997
In this paper we report on a set of computational tools with (n)SGML pipeline data flow for uncovering internal structure in natural language texts. The main idea behind the workb...
DATE
2000
IEEE
14 years 7 days ago
2000
IEEE
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...