Sciweavers

1546 search results - page 235 / 310
» Context-Aware Computing with Sound
Sort
View
ACMACE
2006
ACM
15 years 10 months ago
From driving to expressive music performance: ensuring tempo smoothness
This paper focuses on the mapping strategies in the interface design for the Expression Synthesis Project (ESP). The goal of ESP is to use the metaphor of driving to allow non-exp...
Jie Liu, Elaine Chew, Alexandre R. J. Franç...
ACMSE
2006
ACM
15 years 10 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith
136
Voted
ACMSE
2006
ACM
15 years 10 months ago
Mobility models for vehicular ad hoc network simulations
: There is a growing interest in deployment and evaluation of routing protocols for Vehicular Ad-Hoc Wireless Networks (VANETs) in urban contexts. The mobility model of nodes is on...
Niranjan Potnis, Atulya Mahajan
JCDL
2006
ACM
104views Education» more  JCDL 2006»
15 years 10 months ago
Template-based authoring of educational artifacts
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
Sarah Davis, Paul Logasa Bogen II, Lauren Cifuente...
125
Voted
SAC
2006
ACM
15 years 10 months ago
Union types for object-oriented programming
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
Atsushi Igarashi, Hideshi Nagira