6016 search results - page 24 / 1204 » The semantics of graphical languages |
ER
2008
Springer
15 years 5 months ago
2008
Springer
131
click to vote
DATE
2005
IEEE
15 years 9 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...
143
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper I present a dynamic approach for constructing an unambiguous semantic representation for a text written in a controlled natural language called PENG. The semantic re...
121
click to vote
SG
2010
Springer
15 years 8 months ago
2010
Springer
Declarative approaches to camera control model inputs as properties on the camera and then rely on constraint-based and/or optimization techniques to compute the camera parameters ...
154
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...