6794 search results - page 1117 / 1359 » Semantics of Visual Languages |
149
click to vote
MBUI
2004
15 years 5 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
145
click to vote
FMOODS
2003
15 years 5 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
165
click to vote
SDL
2001
15 years 5 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
140
click to vote
IJCAI
2003
15 years 5 months ago
2003
This paper reports work on automated meta-data creation for multimedia content. The approach results in the generation of a conceptual index of the content which may then be searc...
133
click to vote
ISTA
2003
15 years 5 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...