369 search results - page 65 / 74 » diagrams 2008 |
APSEC
2008
IEEE
13 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
ASM
2008
ASM
13 years 8 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
ASSETS
2008
ACM
2008
ACM
Refreshable tactile graphics applied to schoolbook illustrations for students with visual impairment
13 years 8 months ago
This article presents research on making schoolbook illustrations accessible for students with visual impairment. The MaskGen system was developed to interactively transpose illus...
CIKM
2008
Springer
13 years 8 months ago
2008
Springer
This article is motivated by the importance of building web data mashups. Building on the remarkable success of Web 2.0 mashups, and specially Yahoo Pipes, we generalize the idea ...
CIVR
2008
Springer
13 years 8 months ago
2008
Springer
Storyboards, a grid layout of thumbnail images as surrogates representing video, have received much attention in video retrieval interfaces and published studies through the years...