4139 search results - page 231 / 828 » Designing and Implementing Combinator Languages |
144
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
121
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...
131
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
168
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
171
Voted
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...