721 search results - page 17 / 145 » A Living System Must Have Noncomputable Models |
WICSA
2001
15 years 1 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
102
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
104
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Circadian rhythms are biological processes found in all living organisms, from plants to insects to mammals that repeat with a period close to, but not exactly, 24 hours. In the ab...
106
click to vote
TCS
2008
15 years 10 days ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
126
click to vote
DAC
2011
ACM
14 years 7 days ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...