4041 search results - page 597 / 809 » A Model of Creative Understanding |
179
click to vote
HYBRID
2005
Springer
16 years 15 hour ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
158
click to vote
LOCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
212
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
186
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...
179
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...