1502 search results - page 45 / 301 » Computational Realizations of Living Systems |
159
click to vote
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
140
click to vote
UPP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The increasing scale complexity, heterogeneity and dynamism of networks, systems and applications have made our computational and information infrastructure brittle, unma...
112
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Instant messaging has become a part of our daily live. Instant communication, either with a mobile device or with a computer based application, is an increasingly used form of com...
131
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—For a long time, life sciences were restricted to look at animal habitats only post-factum. Pervasive computing puts us in the novel position to gain live views. In this paper w...
121
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— The ability to self-replicate is one of the distinctive features of living organisms. Robots capable of self-replication would have a profound impact on the field of robotics ...