423 search results - page 78 / 85 » Specifying Strategies for Exercises |
ICMI
2003
Springer
15 years 3 months ago
2003
Springer
Interaction designers are increasingly faced with the challenge of creating interfaces that incorporate multiple input modalities, such as pen and speech, and span multiple device...
JCDL
2010
ACM
15 years 2 months ago
2010
ACM
Photo libraries are growing in quantity and size, requiring better support for locating desired photographs. MediaGLOW is an interactive visual workspace designed to address this ...
107
click to vote
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
Text corpora are often enhanced by additional metadata which relate real-world entities, with each document in which such entities are discussed. Such relationships are typically ...
APN
2001
Springer
15 years 2 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...