1502 search results - page 154 / 301 » Computational Realizations of Living Systems |
161
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
156
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...
168
click to vote
DSN
2007
IEEE
16 years 24 days ago
2007
IEEE
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
154
click to vote
MOBIQUITOUS
2007
IEEE
16 years 23 days ago
2007
IEEE
— The age of technology has changed the way that surgeons are being trained. Traditional methodologies for training can include lecturing, shadowing, apprenticing, and developing...
181
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...