Sciweavers

1885 search results - page 287 / 377
» Exploring design as a research activity
Sort
View
CHI
2005
ACM
16 years 6 months ago
An experiment in discovering personally meaningful places from location data
As mobile devices become location-aware, they offer the promise of powerful new applications. While computers work with physical locations like latitude and longitude, people thin...
Changqing Zhou, Pamela J. Ludford, Dan Frankowski,...
CHI
2004
ACM
16 years 6 months ago
HIM: a framework for haptic instant messaging
Instant Messaging (IM) is a popular chatting platform on the internet and increasingly permeates teenage life. Even intimate and emotional content is discussed. As touch is a powe...
A. F. Rovers, H. A. van Essen
ICSE
2005
IEEE-ACM
16 years 6 months ago
A cross-program investigation of students' perceptions of agile methods
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
Grigori Melnik, Frank Maurer
MOBISYS
2006
ACM
16 years 5 months ago
CoolSpots: reducing the power consumption of wireless mobile devices with multiple radio interfaces
CoolSpots enable a wireless mobile device to automatically switch between multiple radio interfaces, such as WiFi and Bluetooth, in order to increase battery lifetime. The main co...
Trevor Pering, Yuvraj Agarwal, Rajesh K. Gupta, Ro...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard