2639 search results - page 96 / 528 » Biological Systems as Reactive Systems |
121
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
140
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Systems Biology Markup Language (SBML) is an XMLbased exchange format for computational models of biochemical networks. SBML Level 2, whose definition was establishe...
165
click to vote
BMCBI
2005
15 years 4 months ago
2005
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
119
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
134
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...