6794 search results - page 363 / 1359 » Semantics of Visual Languages |
172
Voted
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Currently, the vast majority of web sites do not support accessibility for visually impaired users. Usually, these users have to rely on screen readers: applications that sequenti...
175
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
173
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
154
Voted
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
151
click to vote
PROMAS
2007
Springer
16 years 25 days ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...