6794 search results - page 363 / 1359 » Semantics of Visual Languages |
200
click to vote
WWW
2005
ACM
16 years 8 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...
193
Voted
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...
202
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...
184
click to vote
ATAL
2007
Springer
16 years 1 months 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...
173
Voted
PROMAS
2007
Springer
16 years 1 months 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 ...