2661 search results - page 169 / 533 » Model Checking Performability Properties |
104
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we propose and analyze a generalized multiple-tree-based overlay architecture for peer-to-peer live streaming that employs multipath transmission and forward erro...
119
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
129
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
155
Voted
AC
2002
Springer
15 years 3 months ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
141
Voted
ECEASST
2008
15 years 3 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...