Sciweavers

10773 search results - page 162 / 2155
» Ambient Computational Environments
Sort
View
COMPUTER
1999
42views more  COMPUTER 1999»
15 years 6 months ago
Visualization in Teleimmersive Environments
Jason Leigh, Andrew E. Johnson, Maxine D. Brown, D...
CHI
2009
ACM
16 years 7 months ago
UbiGreen: investigating a mobile tool for tracking and supporting green transportation habits
The greatest contributor of CO2 emissions in the average American household is personal transportation. Because transportation is inherently a mobile activity, mobile devices are ...
Jon Froehlich, Tawanna Dillahunt, Predrag V. Klasn...
HASKELL
2009
ACM
16 years 1 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
SAC
2010
ACM
16 years 1 months ago
Coordination in open and dynamic environments with TuCSoN semantic tuple centres
Elena Nardini, Mirko Viroli, Emanuele Panzavolta