15777 search results - page 2745 / 3156 » Engineering in Software |
185
Voted
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
206
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
Pointing is a natural way of communicating. Children in all cultures use pointing inherently. Attaching tags to our environment enables interaction by pointing. Visual tags are a g...
189
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
278
click to vote
PSSE
2004
Springer
16 years 25 days ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
200
click to vote
VMCAI
2004
Springer
16 years 25 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...