321 search results - page 40 / 65 » Testing protocols modeled as FSMs with timing parameters |
109
Voted
JOIN
2007
15 years 10 days ago
2007
— One of the fundamental issues in sensor networks is the coverage problem, which reflects how well a sensor network is monitored or tracked by sensors. In this paper, we formul...
127
Voted
LSSC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
124
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
110
click to vote
OSDI
2002
ACM
16 years 22 days ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
88
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
— This paper deals with the performance modeling of the various MAC states as defined by the cdma2000 protocol. Our method uses a composite performance metric which has the capa...