24 search results - page 4 / 5 » A Language and a Visual Interface to Specify Complex Spatial... |
CHI
2009
ACM
14 years 6 months ago
2009
ACM
Slit-tear visualizations allow users to selectively visualize pixel paths in a video scene. The slit-tear visualization technique is a generalization of the traditional photograph...
TOOLS
2008
IEEE
14 years 12 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
WEBDB
2000
Springer
13 years 9 months ago
2000
Springer
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
ENTCS
2010
13 years 3 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...