1008 search results - page 51 / 202 » A graphic functional-dataflow language |
126
click to vote
DOCENG
2007
ACM
15 years 9 months ago
2007
ACM
The Scalable Vector Graphics (SVG) language allows in its
137
click to vote
CNL
2009
15 years 6 months ago
2009
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
148
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
185
click to vote
ICEIS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
142
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...