Sciweavers

1398 search results - page 200 / 280
» Ensuring Properties of Interaction Systems
Sort
View
ICFP
2005
ACM
16 years 6 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
ICMCS
2010
IEEE
170views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Enabling genuine eye contact and accurate gaze in remote collaboration
: Enabling Genuine Eye Contact and Accurate Gaze in Remote Collaboration Kar-Han Tan, Ian N. Robinson, Bruce Culbertson, John Apostolopoulos HP Laboratories HPL-2010-96 eye contac...
Kar Han Tan, Ian N. Robinson, W. Bruce Culbertson,...
COMCOM
2007
103views more  COMCOM 2007»
15 years 6 months ago
MPEG-21 digital items to support integration of heterogeneous multimedia content
The MELISA system is a distributed platform for multi-platform sports content broadcasting, providing end users with a wide range of real-time interactive services during the spor...
Kostas Karpouzis, Ilias Maglogiannis, Emmanuel Pap...
CHI
2011
ACM
14 years 9 months ago
When designing usability questionnaires, does it hurt to be positive?
When designing questionnaires there is a tradition of including items with both positive and negative wording to minimize acquiescence and extreme response biases. Two disadvantag...
Jeff Sauro, James R. Lewis
ACSD
2009
IEEE
118views Hardware» more  ACSD 2009»
16 years 1 months ago
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
Karsten Wolf, Christian Stahl, Janine Ott, Robert ...