2639 search results - page 260 / 528 » Biological Systems as Reactive Systems |
160
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
193
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
174
click to vote
DILS
2006
Springer
15 years 10 months ago
2006
Springer
Life science researchers want biological information in their interest to become available to them as soon as possible. A monitoring system is a solution that relieves biologists f...
200
Voted
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
157
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— A hormone-inspired task scheduling method is described which assigns tasks to a group of robots, taking into account the robots’ performances. This method draws on previous w...