9110 search results - page 1588 / 1822 » Formally-Based Design Evaluation |
159
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...
142
click to vote
ACMACE
2009
ACM
15 years 10 months ago
2009
ACM
When it comes to motivating teenagers towards energy awareness, new approaches need to be considered. One such is the use of pervasive games connected to the players own energy co...
134
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 10 months ago
2009
ACM
Recently, the use of in-vehicle navigation devices, such as PNDs (Personal or Portable Navigation Devices) has become pervasive, and the device functions have been rapidly expande...
168
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
131
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
The demand for wireless bandwidth in indoor environments such as homes and offices continues to increase rapidly. Although wireless technologies such as MIMO can reach link throug...