Sciweavers

2557 search results - page 196 / 512
» Structures of the Environment in Colonies
Sort
View
INTERACT
2003
13 years 11 months ago
How Blind Users' Mental Models Affect Their Perceived Usability of an Unfamiliar Screen Reader
: This study investigates blind users’ mental models of Windows environment and their strategies in coping with new desktops and applications. The relationship between users’ m...
Sri Hastuti Kurniawan, Alistair G. Sutcliffe, Paul...
CORR
2008
Springer
126views Education» more  CORR 2008»
13 years 10 months ago
A TLA+ Proof System
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
IEEEMM
2006
97views more  IEEEMM 2006»
13 years 10 months ago
Ubiquitous Experience Media
A ubiquitous computing environment will become a solid social infrastructure for recording human experiences in the real world and facilitating human activities. The captured acti...
Kenji Mase, Yasuyuki Sumi, Tomoji Toriyama, Megumu...
JDCTA
2008
128views more  JDCTA 2008»
13 years 10 months ago
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
Haining Lee, Jaeil Park, Peom Park, Dongmin Shin
JCP
2006
111views more  JCP 2006»
13 years 10 months ago
Mining Developing Trends of Dynamic Spatiotemporal Data Streams
This paper1 presents an efficient modeling technique for data streams in a dynamic spatiotemporal environment and its suitability for mining developing trends. The streaming data a...
Yu Meng, Margaret H. Dunham