6794 search results - page 854 / 1359 » Semantics of Visual Languages |
187
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
188
click to vote
SAC
2005
ACM
16 years 17 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
160
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
170
click to vote
LPNMR
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
226
click to vote
SAMOS
2004
Springer
16 years 11 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...