703 search results - page 37 / 141 » On Addressing the Computer Science Crisis |
PDC
2004
ACM
15 years 3 months ago
2004
ACM
This paper discusses and evaluates use of different participatory design methods in relation to addressing the challenge of grounding imagination. It presents reflections on the u...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: When traveling and visiting new places, tourists are mobile as they wander around and follow tours through cities and landscapes. Location-based mobile systems today typically pr...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: This paper addresses some classical problems to integrate data sources that are heterogeneous in structure with possibly redundant data along a real world example integrating thr...
73
Voted
RTA
2004
Springer
15 years 3 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
79
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...