3686 search results - page 160 / 738 » Performing work in broadcast networks |
181
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
208
click to vote
SIGMETRICS
2005
ACM
16 years 2 days ago
2005
ACM
Wide-spread deployment of infrastructure WLANs has made Wi-Fi an integral part of today’s Internet access technology. Despite its crucial role in affecting end-to-end performan...
212
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
GridFTP, designed by using the Globus XIO framework, is one of the most popular methods for performing data transfers in the Grid environment. But the performance of GridFTP in WA...
174
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
209
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...