3185 search results - page 545 / 637 » Principles for modeling language design |
ITICSE
2006
ACM
14 years 3 months ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
WSE
2005
IEEE
14 years 2 months ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
LCTRTS
2004
Springer
14 years 2 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...