1965 search results - page 265 / 393 » On the analysis of interacting pushdown systems |
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
DICTA
2008
13 years 10 months ago
2008
The analysis of fish movement as an indicator of fish behaviour plays an important role in aquaculture research. Currently observations are carried out manually using video record...
MMNS
2001
13 years 10 months ago
2001
Current network infrastructures are experiencing rapid transformation from providing mere connectivity, to a wider range of flexible network services with Quality of Service (QoS)....
SPIESR
2001
13 years 10 months ago
2001
This paper describes a video summarization and semantics editing tool that is suited for content-based video indexing and retrieval with appropriate human operator assistance. The...
SERP
2004
13 years 10 months ago
2004
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...