1922 search results - page 190 / 385 » Systems biology, models, and concurrency |
197
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
AAI
2000
15 years 1 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
126
click to vote
WSC
1997
15 years 2 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
104
click to vote
ACSC
2010
IEEE
14 years 8 months ago
2010
IEEE
The importance of networks of coupled oscillators is widely recognized. Such networks occur in biological systems like the heart, in chemical systems, in computational problems, a...