1502 search results - page 62 / 301 » Computational Realizations of Living Systems |
136
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
587
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...
145
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
178
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
167
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...