811 search results - page 117 / 163 » Flow Theory: An Enhancement |
108
click to vote
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
103
click to vote
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
106
click to vote
DAGM
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...