5664 search results - page 390 / 1133 » Creativity support tools |
239
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
164
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
166
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
Small computing devices are everywhere changing the way people communicate and interact, however applications for these devices are developed more or less with the same tools used...
182
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
This article presents a case study that investigates the effectiveness of virtual artifacts in the teaching of classical art to first-year university students. It was expected tha...
188
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...