1981 search results - page 240 / 397 » Model-Checking Hierarchical Structures |
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
ICVS
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
IV
2000
IEEE
14 years 1 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
HT
1998
ACM
14 years 1 months ago
1998
ACM
The MAPA system provides improved navigation facility for large web sites. It extracts a hierarchical structure from an arbitrary web site, with some minimal user assistance, and ...
ICSE
1997
IEEE-ACM
14 years 1 months ago
1997
IEEE-ACM
The Rigi reverse engineering system provides two contrasting approaches for presenting software structures in its graph editor. The rst displays the structures through multiple, i...