2502 search results - page 243 / 501 » Using probabilistic model checking in systems biology |
232
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
155
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
175
click to vote
PRDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
158
click to vote
SOCO
2005
Springer
16 years 1 days ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
200
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...