5054 search results - page 727 / 1011 » How designers design and program interactive behaviors |
170
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
206
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
167
click to vote
ACE
2004
15 years 8 months ago
2004
This paper introduces PigWorld, a tool for teaching Java to novice programmers, via the objects-early style. Three design guidelines forobject-early assignments are discussed: (1)...
150
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer games are a multi-billion dollar industry and have become an important part of our private and social lives. It is only natural, then, that the technology used to create ...
154
click to vote
TITS
2002
15 years 6 months ago
2002
The operation and transit of emergency vehicles on an automated highway system (AHS) designed under the control architecture proposed in the California Partners for Advanced Transi...