Sciweavers

1502 search results - page 32 / 301
» Computational Realizations of Living Systems
Sort
View
CHI
2008
ACM
16 years 4 months ago
Activity-based prototyping of ubicomp applications for long-lived, everyday human activities
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
Yang Li, James A. Landay
CHI
2009
ACM
15 years 10 months ago
Disembodied performance
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...
Peter Alexander Torpey, Elena Naomi Jessop
CIE
2007
Springer
15 years 10 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
INFOCOM
2009
IEEE
15 years 10 months ago
Impacts of Peer Characteristics on P2PTV Networks Scalability
—A P2PTV system allows users to watch live video streams redistributed by other users via a peer-to-peer (P2P) network. In an ideal world, each peer in a P2P network would be abl...
Khaldoon Shami, Damien Magoni, Hyunseok Chang, Wen...
PERCOM
2008
ACM
16 years 3 months ago
Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments
Pervasive computing systems provide personalized and intimate services to improve users' quality of life by integrating computation and communication into the environments. Wi...
Hen-I Yang, Abdelsalam Helal