378 search results - page 67 / 76 » Formalizing Spider Diagrams |
159
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
149
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
136
click to vote
VL
2003
IEEE
15 years 10 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
156
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
177
click to vote
UIST
2000
ACM
15 years 9 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...