Sciweavers

1502 search results - page 47 / 301
» Computational Realizations of Living Systems
Sort
View
PDP
2008
IEEE
15 years 10 months ago
Internet-Scale Simulations of a Peer Selection Algorithm
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...
Ali Boudani, Yiping Chen, Gilles Straub, Gwendal S...
CHI
2009
ACM
16 years 4 months ago
WattBot: a residential electricity monitoring and feedback system
Electricity production emits carbon dioxide and other gases into the atmosphere, adversely influences global climate change, depletes limited natural resources, and negatively imp...
Dane Petersen, Jay Steele, Joe Wilkerson
CAISE
1995
Springer
15 years 7 months ago
Hypertext Version Management in an Actor-based Framework
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
Antonina Dattolo, Vincenzo Loia
ICSOC
2007
Springer
15 years 10 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
CA
2002
IEEE
15 years 9 months ago
Haptics Technologies and Cultural Heritage Applications
This article describes the architecture of the "Museum of Pure Form", a virtual reality system where the user can interact, through the senses of touch and sight, with d...
Massimo Bergamasco, Antonio Frisoli, Federico Barb...