1502 search results - page 22 / 301 » Computational Realizations of Living Systems |
123
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
104
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We report an experiment with an acoustic surveillance system comprised of a computer and microphone situated in a typical office environment. The system continuously analyzes the...
159
click to vote
JNW
2007
15 years 3 months ago
2007
Abstract— This paper presents a gentle system for supervising care-support services that fulfill users’ actual requirements based on their physical locations and statuses of s...
147
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about ...
132
click to vote
NSDI
2010
15 years 5 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...