2042 search results - page 254 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
165
Voted
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
172
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
127
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
151
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
122
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...