Sciweavers

1686 search results - page 139 / 338
» Artful systems in the home
Sort
View
PETRA
2010
ACM
14 years 7 months ago
The security and privacy implications of using social networks to deliver healthcare
Healthcare technologies have tended to focus on electronic health records and devices (e.g., devices within the home for patients or handheld devices for nurses and physicians), a...
Carrie Gates, Matt Bishop
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 7 months ago
Communication model of emuStudio emulation platform
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
Peter Jakubco, Slavomír Simonák, Nor...
TEDU
2011
163views Education» more  TEDU 2011»
14 years 5 months ago
Tangible Interfaces to Digital Connections, Centralized versus Decentralized
In the era of distributed digital media, technology is moving to the background and interoperability between devices increases. The handles for users to explore, make and break con...
Matthijs Kwak, Gerrit Niezen, Bram van der Vlist, ...
PERCOM
2011
ACM
14 years 1 months ago
CASASviz: Web-based visualization of behavior patterns in smart environments
—The need to prolong the ability for older adults to live at home independently has become an important area of smart environment research. In this proposal, we demonstrate a web...
Chao Chen, Prafulla Dawadi
CADE
2003
Springer
15 years 10 months ago
Automating the Dependency Pair Method
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
Nao Hirokawa, Aart Middeldorp