2042 search results - page 234 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
120
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
A collision resolution scheme is essential to the performance of a random-access wireless network. Most schemes employ exponential backoff (EB) to adjust the transmission attempt ...
126
Voted
JLP
2008
15 years 3 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
122
Voted
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
164
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
150
Voted
PE
2010
Springer
15 years 2 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...