Sciweavers

14347 search results - page 141 / 2870
» Interactive Granular Computing
Sort
View
LICS
2006
IEEE
15 years 4 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
IEEEMSP
2002
IEEE
121views Multimedia» more  IEEEMSP 2002»
15 years 2 months ago
Communication-friendly encryption of multimedia
Abstract— This paper discusses encryption operations that selectively encrypt content-carrying segments of multimedia data stream. We propose and analyze three techniques that wo...
Min Wu, Yinian Mao
ACMACE
2006
ACM
15 years 4 months ago
Shootball: the tangible ball sport in ubiquitous computing
Yoshiro Sugano, Jumpei Ohtsuji, Toshiya Usui, Yuya...
CHI
2003
ACM
15 years 3 months ago
Understanding and enhancing call centre computer-
There are many interactions that take place at a call centre; between the customer and agent, the agent and computer, and indirectly between the customer and computer. This paper ...
Anette Steel
ECIS
2004
14 years 11 months ago
To play, or not to play: building a learning environment through computer simulations
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
Luigi Proserpio, Magni Magni