1008 search results - page 51 / 202 » A graphic functional-dataflow language |
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
The Scalable Vector Graphics (SVG) language allows in its
CNL
2009
14 years 11 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...
DATE
2005
IEEE
15 years 3 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...
102
click to vote
ICEIS
2010
IEEE
14 years 7 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...
ECMDAFA
2005
Springer
15 years 3 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 ...