The Community for Technology Leaders
RSS Icon
Issue No.08 - August (2008 vol.41)
pp: 56-62
John C. Sloan , Florida Atlantic University
Taghi M. Khoshgoftaar , Florida Atlantic University,
Venkat Raghav , Motorola
An improvement to public-resource e-science portals shows promise in solving a well-known dilemma: how to dynamically discover a provider PC that is ready to deliver computing power when the scientific community requires it.
service-oriented architectures, e-science portals, public-resource computing, volunteer supercomputing, Boinc, Uppaal
John C. Sloan, Taghi M. Khoshgoftaar, Venkat Raghav, "Assuring Timeliness in an e-Science Service-Oriented Architecture", Computer, vol.41, no. 8, pp. 56-62, August 2008, doi:10.1109/MC.2008.313
1. D. Anderson, "Boinc: A System for Public-Resource Computing and Storage," Proc. IEEE/ACM Int'l Workshop Grid Computing (IWGC 04), IEEE CS Press, 2004, pp. 4–10.
2. G. Behrmann, A. David, and K.G. Larsen, "A Tutorial on Uppaal," Formal Methods for the Design of Real-Time Systems, LNCS 3185, Springer, 2004, pp. 200–236.
3. V. Raghava, "A Comparison of Model-Checking Tools for Service Oriented Architectures," master's thesis, Florida Atlantic Univ., Florida Atlantic Univ. Library, Dec. 2007.
4. G.J. Holzmann, The SPIN Model Checker, Primer and Reference Manual, Addison-Wesley, 2003.
5. H. Foster et al., "LTSA-WS: A Tool for Model-Based Verification of Web Service Compositions and Choreography," Proc. Int'l Conf. Software Eng. (ICSE 06), ACM Press, 2006, pp. 771–774.
6. K. Jensen, L.M. Kristensen, and L. Wells, "Colored Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems," Int'l J. Software Tools for Technology Transfer, vol. 9, nos. 3–4, 2007, pp. 213–254.
7. S.F. Altschul et al., "Basic Local Alignment Search Tool," J. Molecular Biology, Oct. 1990, pp. 403–410.
8. K. Larsen et al., "Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction," Proc. IEEE Real-Time Systems Symp. (RTSS 97), IEEE CS Press, 1997, pp. 14–24.
9. R.D. Bjornson et al., "TurboBLAST: A Parallel Implementation of BLAST Built on the TurboHub," Proc. Int'l Parallel and Distributed Processing Symp. (IPDPS 02), IEEE CS Press, 2002, pp. 183–190.
10. J.C. Sloan and T.M. Khoshgoftaar, "Toward Model Checking Web Services Over the Web," Proc. Int'l Conf. Software Eng. and Knowledge Eng. (SEKE 08), Knowledge Systems Inst. Graduate School, 2008, pp. 519–524.
11. Web Services Business Process Execution Language version 2.0, Apr. 2007; wsbpel-v2.0-OS.html.
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool