2042 search results - page 338 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
BMCBI
2007
13 years 9 months ago
2007
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
ESEC
1995
Springer
14 years 13 days ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
MOBIHOC
2009
ACM
14 years 9 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...