1981 search results - page 254 / 397 » Model-Checking Hierarchical Structures |
SOFTVIS
2003
ACM
14 years 2 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a method for interactive rendering of large outdoor scenes. Complex polygonal plant models and whole plant populations are represented by relatively small sets of point...
WMTE
2002
IEEE
14 years 1 months ago
2002
IEEE
The design of a personal, mobile Knowledge and Learning Organisation System (KLeOS) is described. Studies of adult learning practice showed [1] that learning activity is mobile be...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
ASAP
2000
IEEE
14 years 1 months ago
2000
IEEE
MicroSIMD architectures incorporating subword parallelism are very efficient for application-specific media processors as well as for fast multimedia information processing in gen...