Sciweavers

14347 search results - page 141 / 2870
» Interactive Granular Computing
Sort
View
120
Voted
LICS
2006
IEEE
15 years 8 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
102
Voted
IEEEMSP
2002
IEEE
121views Multimedia» more  IEEEMSP 2002»
15 years 7 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 8 months ago
Shootball: the tangible ball sport in ubiquitous computing
Yoshiro Sugano, Jumpei Ohtsuji, Toshiya Usui, Yuya...
110
Voted
CHI
2003
ACM
15 years 8 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
125
Voted
ECIS
2004
15 years 4 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