Sciweavers

15155 search results - page 2801 / 3031
» System Software
Sort
View
WISE
2006
Springer
16 years 16 days ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
ASSETS
2006
ACM
16 years 15 days ago
Wireless headset communications for vision impaired persons in multi-User environments
Wireless headsets are a great asset to Vision Impaired Persons (VIP’s) as they prove to be much easier to use and reliable than wired equivalents. Radio based wireless headsets ...
Iain Murray, Andrew Pasquale
ML
2006
ACM
16 years 14 days ago
Seminal: searching for ML type-error messages
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
Benjamin S. Lerner, Dan Grossman, Craig Chambers
MM
2006
ACM
153views Multimedia» more  MM 2006»
16 years 14 days ago
Buzz: telling compelling stories
This paper describes a digital theater installation called Buzz. Buzz consists of virtual actors who express the collective voice generated by weblogs (blogs). These actors find ...
Sara Owsley, Kristian J. Hammond, David A. Shamma,...
NORDICHI
2006
ACM
16 years 14 days ago
One-dimensional force feedback slider: going from an analogue to a digital platform
This paper examines the use of motorized physical sliders with position and force as input and output parameters for tangible human computer interaction. Firstly, we present an an...
Ali Shahrokni, Julio Jenaro, Tomas Gustafsson, And...
« Prev « First page 2801 / 3031 Last » Next »