743 search results - page 102 / 149 » Evaluating UMl Extensions for Modeling Real-Time Systems |
TMC
2010
13 years 6 months ago
2010
—Evaluating and quantifying trust stimulates collaboration in mobile ad hoc networks (MANETs). Many existing reputation systems sharply divide the trust value into right or wrong...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
— Atmospheric turbulence induced fading is one of the main impairments affecting free–space optics (FSO). In recent years, Gamma–Gamma fading has become the dominant fading m...
ACL
2008
13 years 9 months ago
2008
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word alignment methods, alignment accuracy increases often ...