1152 search results - page 133 / 231 » The Scratch Programming Language and Environment |
160
Voted
CLIMA
2004
15 years 4 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
98
Voted
EUROGP
2007
Springer
15 years 9 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
140
click to vote
MHCI
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
140
click to vote
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
136
click to vote
TLDI
2010
ACM
16 years 6 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...