-
1
-
-
84929522878
-
-
Organization for The Advancement of Structured Information Standards, Billerica
-
Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Lie, C.K., Thatte, S., Yendluri, P., Yiu, A. (eds.) Web Services Business Process Execution Language. Version 2.0. Organization for The Advancement of Structured Information Standards, Billerica (2007)
-
(2007)
(eds.) Web Services Business Process Execution Language. Version 2
, vol.0
-
-
Arkin, A.1
Askary, S.2
Bloch, B.3
Curbera, F.4
Goland, Y.5
Kartha, N.6
Lie, C.K.7
Thatte, S.8
Yendluri, P.9
Yiu, A.10
-
2
-
-
77950347409
-
A view of cloud computing
-
Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Paterson, D., Rabkin, A., Stoica, I., Zaharaia, M.: A view of cloud computing. Commun. ACM 53(4), 50–58 (Apr. 2010)
-
(2010)
Commun. ACM
, vol.53
, Issue.4
, pp. 50-58
-
-
Armbrust, M.1
Fox, A.2
Griffith, R.3
Joseph, A.D.4
Katz, R.5
Konwinski, A.6
Lee, G.7
Paterson, D.8
Rabkin, A.9
Stoica, I.10
Zaharaia, M.11
-
3
-
-
84929522809
-
Surveys without questions
-
Psychology Press, London
-
Bethlehem, J.: Surveys without questions. In: De Leeuw, E., Hox, J., Dillman, D.A. (eds.) International Handbook of Survey Methodology, chap. 26, pp. 500–511. Psychology Press, London (2008)
-
(2008)
International Handbook of Survey Methodology, chap. 26
, pp. 500-511
-
-
Bethlehem, J.1
De Leeuw, E.2
Hox, J.3
Dillman, D.A.4
-
4
-
-
3242715286
-
The Data Documentation Initiative: the value and significance of a worldwide standard
-
Blank, G., Rasmussen, K.B.: The Data Documentation Initiative: the value and significance of a worldwide standard. Soc. Sci. Comput. Rev. 22(3) (2004)
-
(2004)
Soc. Sci. Comput. Rev
, vol.22
, Issue.3
-
-
Blank, G.1
Rasmussen, K.B.2
-
5
-
-
41549154403
-
Modal mu-calculi
-
Blackburn P, Benthem J, Wolter F, (eds), Elsevier Science Publishers, Amsterdam
-
Bradfield, J., Stirling, C.: Modal mu-calculi. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier Science Publishers, Amsterdam (2007)
-
(2007)
Handbook of Modal Logic
-
-
Bradfield, J.1
Stirling, C.2
-
6
-
-
84929521047
-
-
University of Bristol, Centre for Multilevel Modelling, Bristol
-
Browne, W.J., Cameron, B., Charlton, C.M.J., Michaelides, D.T., Parker, R.M.A., Szmaragd, C., Yang, H., Zhang, Z.: A beginner’s guide to Stat-JR. University of Bristol, Centre for Multilevel Modelling, Bristol (2012)
-
(2012)
A beginner’s guide to Stat-JR
-
-
Browne, W.J.1
Cameron, B.2
Charlton, C.M.J.3
Michaelides, D.T.4
Parker, R.M.A.5
Szmaragd, C.6
Yang, H.7
Zhang, Z.8
-
7
-
-
23844492125
-
Specifying and verifying web transactions
-
Butler, M., Ferreira, C., Ng, M.Y.: Specifying and verifying web transactions. Univ. Comput. Sci. 11(5), 712–743 (2005)
-
(2005)
Univ. Comput. Sci.
, vol.11
, Issue.5
, pp. 712-743
-
-
Butler, M.1
Ferreira, C.2
Ng, M.Y.3
-
8
-
-
33746636585
-
Encoding abstract descriptions into executable web services: towards a formal development
-
Institution of Electrical and Electronic Engineers Press, New York
-
Chirichiello, A., Salaün, G., Encoding abstract descriptions into executable web services: towards a formal development. In: Proc. Web Intelligence. Institution of Electrical and Electronic Engineers Press, New York (2005)
-
(2005)
Proc. Web Intelligence
-
-
Chirichiello, A.1
Salaün, G.2
-
9
-
-
42649118344
-
PX: a system extracting programs from proofs
-
Institution of Electrical and Electronic Engineers Press, New York
-
de Roure, D.C., Goble, C.A., Stevens, R.: PX: a system extracting programs from proofs. In: Fox, G., Chiu, K., Buyya, R. (eds.) Proc. Int. Conf. on 3rd e-Science and Grid Computing, pp. 603–610. Institution of Electrical and Electronic Engineers Press, New York (2007)
-
(2007)
Proc. Int. Conf. on 3rd e-Science and Grid Computing
, pp. 603-610
-
-
de Roure, D.C.1
Goble, C.A.2
Stevens, R.3
Fox, G.4
Chiu, K.5
Buyya, R.6
-
10
-
-
84929521761
-
-
Economic and Social Data Service and University of Manchester. Linking international macro and micro data (2012)
-
Economic and Social Data Service and University of Manchester. Linking international macro and micro data (2012). http://www.esds.ac.uk/international/elearning/limmd
-
-
-
-
12
-
-
33845243431
-
A rigorous approach to engineering web service compositions. Ph.D. thesis, Imperial College
-
Foster, H.: A rigorous approach to engineering web service compositions. Ph.D. thesis, Imperial College, London (2006)
-
(2006)
London
-
-
Foster, H.1
-
13
-
-
2442701532
-
What is the grid? A three point checklist
-
Foster, I.: What is the grid? A three point checklist. Grid Today 1(6) (2002)
-
(2002)
Grid Today
, vol.1
, Issue.6
-
-
Foster, I.1
-
14
-
-
35648943795
-
Replication standards for quantitative social science: why not sociology?
-
Freese, J.: Replication standards for quantitative social science: why not sociology? Sociol. Methods Res. 36(2), 153–171 (2007)
-
(2007)
Sociol. Methods Res.
, vol.36
, Issue.2
, pp. 153-171
-
-
Freese, J.1
-
15
-
-
19944405131
-
Analysis of interacting BPEL web services
-
ACM Press, New York
-
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. 13th. International World Wide Web Conference, pp. 621–630. ACM Press, New York (2004)
-
(2004)
Proc. 13th. International World Wide Web Conference
, pp. 621-630
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
16
-
-
35048861624
-
Grid-based knowledge discovery services for high throughput informatics
-
Institution of Electrical and Electronic Engineers Press, New York
-
Ghanem, M., Guo, Y., Rowe, A., Wendel, P.: Grid-based knowledge discovery services for high throughput informatics. In: Proc. 11th Int. Symp. on High Performance Distributed Computing, pp. 198–212. Institution of Electrical and Electronic Engineers Press, New York (2002)
-
(2002)
Proc. 11th Int. Symp. on High Performance Distributed Computing
, pp. 198-212
-
-
Ghanem, M.1
Guo, Y.2
Rowe, A.3
Wendel, P.4
-
18
-
-
0003783398
-
Information processing systems—open systems interconnection—LOTOS—a formal description technique based on the temporal ordering of observational behaviour
-
International Organization for Standardization, Geneva
-
ISO/IEC. Information processing systems—open systems interconnection—LOTOS—a formal description technique based on the temporal ordering of observational behaviour. ISO/IEC 8807. International Organization for Standardization, Geneva (1989)
-
(1989)
ISO/IEC
, vol.8807
-
-
-
19
-
-
33646374821
-
Validating distributed object and component designs
-
Bernardo M, Inverardi P, (eds), Lecture Notes in Computer Science, vol. 2804, Springer, Berlin
-
Kaveh, N., Emmerich, W.: Validating distributed object and component designs. In: Bernardo, M., Inverardi, P. (eds.) Formal Methods for Software Architecture. Lecture Notes in Computer Science, vol. 2804, pp. 63–91. Springer, Berlin (2003)
-
(2003)
Formal Methods for Software Architecture
, pp. 63-91
-
-
Kaveh, N.1
Emmerich, W.2
-
20
-
-
84900916135
-
Stratification research and occupation-based classifications
-
Ashgate, Aldershot
-
Lambert, P.S., Bihagen, E.: Stratification research and occupation-based classifications. In: Lambert, P.S., Connelly, R., Blackburn, R.M., Gayle, V. (eds.) Social Stratification: Trends and Processes, chap. 2, pp. 13–28. Ashgate, Aldershot (2012)
-
(2012)
Social Stratification: Trends and Processes, chap. 2
, pp. 13-28
-
-
Lambert, P.S.1
Bihagen, E.2
Lambert, P.S.3
Connelly, R.4
Blackburn, R.M.5
Gayle, V.6
-
21
-
-
45749085325
-
Specifying and verifying web transactions
-
Springer, Berlin
-
Li, J., Zhu, H., He, J.: Specifying and verifying web transactions. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) Proc. Formal Techniques for Networked and Distributed Systems (FORTE 2008), Lecture Notes in Computer Science, vol. 5048, pp. 168–183. Springer, Berlin (2008)
-
(2008)
Proc. Formal Techniques for Networked and Distributed Systems (FORTE 2008), Lecture Notes in Computer Science, vol. 5048
, pp. 168-183
-
-
Li, J.1
Zhu, H.2
He, J.3
Suzuki, K.4
Higashino, T.5
Yasumoto, K.6
El-Fakih, K.7
-
23
-
-
84981361166
-
Socioeconomic inequalities in health in 22 European countries
-
Mackenbach, J.P., Stirbu, L., Roskam, A.J., Schaap, M.M., Menvielle, G., Leinsalu, M., Kunst, A.E.: Socioeconomic inequalities in health in 22 European countries. N. Engl. J. Med. 358(23), 2468–2481 (2008)
-
(2008)
N. Engl. J. Med.
, vol.358
, Issue.23
, pp. 2468-2481
-
-
Mackenbach, J.P.1
Stirbu, L.2
Roskam, A.J.3
Schaap, M.M.4
Menvielle, G.5
Leinsalu, M.6
Kunst, A.E.7
-
24
-
-
44649163308
-
Bio-jETI: a service integration, design and provisioning platform for orchestrated bioinformatics processes
-
Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design and provisioning platform for orchestrated bioinformatics processes. BMC Bioinf. 9(4), 1614–1631 (2008)
-
(2008)
BMC Bioinf.
, vol.9
, Issue.4
, pp. 1614-1631
-
-
Margaria, T.1
Kubczak, C.2
Steffen, B.3
-
25
-
-
85018089546
-
ESRC/SFC scoping study into quantitative methods capacity building in Scotland
-
McVie, S., Coxon, A.P.M., Hawkins, P., Palmer, J., Rice, R.: ESRC/SFC scoping study into quantitative methods capacity building in Scotland. Economic and Social Research Council (2008)
-
(2008)
Economic and Social Research Council
-
-
McVie, S.1
Coxon, A.P.M.2
Hawkins, P.3
Palmer, J.4
Rice, R.5
-
26
-
-
10244255212
-
Taverna: a tool for the composition and enactment of bioinformatics workflows
-
Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M.R., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics 20(17), 3045–3054 (2004)
-
(2004)
Bioinformatics
, vol.20
, Issue.17
, pp. 3045-3054
-
-
Oinn, T.1
Addis, M.2
Ferris, J.3
Marvin, D.4
Senger, M.5
Greenwood, M.6
Carver, T.7
Glover, K.8
Pocock, M.R.9
Wipat, A.10
Li, P.11
-
27
-
-
33746523672
-
JOpera: an agile environment for web service composition with visual unit testing and refactoring
-
Institution of Electrical and Electronic Engineers Press, New York
-
Pautasso, C.: JOpera: an agile environment for web service composition with visual unit testing and refactoring. In: Proc. IEEE Symposium on Visual Languages and Human Centric Computing. Institution of Electrical and Electronic Engineers Press, New York (2005)
-
(2005)
Proc. IEEE Symposium on Visual Languages and Human Centric Computing
-
-
Pautasso, C.1
-
28
-
-
84929271209
-
-
Springer, Berlin
-
Qin, J., Fahringer, T. (eds.): Scientific Workflows—Programming, Optimization, and Synthesis with ASKALON and AWDL. Springer, Berlin (2012)
-
(2012)
(eds.): Scientific Workflows—Programming, Optimization, and Synthesis with ASKALON and AWDL
-
-
Qin, J.1
Fahringer, T.2
-
29
-
-
84859118966
-
Opportunities and challenges in the expansion of cross-national survey research
-
Smith, S.N., Fisher, S.D., Heath, A.: Opportunities and challenges in the expansion of cross-national survey research. Soc. Res. Methodol. 14(6), 485–502 (2011)
-
(2011)
Soc. Res. Methodol.
, vol.14
, Issue.6
, pp. 485-502
-
-
Smith, S.N.1
Fisher, S.D.2
Heath, A.3
-
30
-
-
38049113286
-
Model-driven development with the jABC
-
Bin E, Ziv A, Ur S, (eds), Verification and Testing, Lecture Notes in Computer Science, vol. 4383, Springer, Berlin
-
Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) Hardware and Software. Verification and Testing, Lecture Notes in Computer Science, vol. 4383, pp. 92–108. Springer, Berlin (2007)
-
(2007)
Hardware and Software
, pp. 92-108
-
-
Steffen, B.1
Margaria, T.2
Nagel, R.3
Jörges, S.4
Kubczak, C.5
-
31
-
-
10444231644
-
Condor: a distributed job scheduler
-
Gropp W, Lusk E, Sterling T, (eds), MIT Press, Boston
-
Tannenbaum, T., Wright, D., Miller, K., Livny, M.: Condor: a distributed job scheduler. In: Gropp, W., Lusk, E., Sterling, T. (eds.) Beowulf Cluster Computing with Linux, pp. 307–350. MIT Press, Boston (2003)
-
(2003)
Beowulf Cluster Computing with Linux
, pp. 307-350
-
-
Tannenbaum, T.1
Wright, D.2
Miller, K.3
Livny, M.4
-
32
-
-
84892335166
-
-
Springer, Berlin
-
Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (eds.): Workflows for E-Science: Scientific Workflows for Grids. Springer, Berlin (2007)
-
(2007)
(eds.): Workflows for E-Science: Scientific Workflows for Grids
-
-
Taylor, I.J.1
Deelman, E.2
Gannon, D.B.3
Shields, M.4
-
34
-
-
2942753915
-
Analysing interactive voice services
-
Turner, K.J.: Analysing interactive voice services. Comput. Netw. 45(5), 665–685 (2004)
-
(2004)
Comput. Netw.
, vol.45
, Issue.5
, pp. 665-685
-
-
Turner, K.J.1
-
35
-
-
33747087005
-
Validating feature-based specifications
-
Turner, K.J.: Validating feature-based specifications. Softw. Pract. Exp. 36(10), 999–1027 (2006)
-
(2006)
Softw. Pract. Exp.
, vol.36
, Issue.10
, pp. 999-1027
-
-
Turner, K.J.1
-
36
-
-
79956130966
-
Flexible management of smart homes
-
Turner, K.J.: Flexible management of smart homes. Ambient Intell. Smart Environ. 3(2), 83–110 (2011)
-
(2011)
Ambient Intell. Smart Environ.
, vol.3
, Issue.2
, pp. 83-110
-
-
Turner, K.J.1
-
37
-
-
84860386290
-
Rigorous development of composite grid services
-
Turner, K.J., Tan, K.L.L.: Rigorous development of composite grid services. Netw. Comput. Appl. 35(4), 1304–1316 (2012)
-
(2012)
Netw. Comput. Appl.
, vol.35
, Issue.4
, pp. 1304-1316
-
-
Turner, K.J.1
Tan, K.L.L.2
-
38
-
-
84892221851
-
Sedna: a BPEL-based environment for visual scientific workflow modelling
-
Taylor IJ, Deelman E, Gannon DB, Shields M, (eds), Springer, Berlin
-
Wassermann, B., Emmerich, W., Butchart, B., Cameron, N., Chen, L., Patel, J.: Sedna: a BPEL-based environment for visual scientific workflow modelling. In: Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (eds.) Workflows for E-Science, pp. 428–449. Springer, Berlin (2007)
-
(2007)
Workflows for E-Science
, pp. 428-449
-
-
Wassermann, B.1
Emmerich, W.2
Butchart, B.3
Cameron, N.4
Chen, L.5
Patel, J.6
-
39
-
-
33750538195
-
Sensoria process calculi for service-oriented computing
-
Springer, Berlin
-
Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schröder, A.: Sensoria process calculi for service-oriented computing. In: Najm, E., Pradat-Peyre, J.-F. (eds.) Proc. Formal Techniques for Networked and Distributed Systems (FORTE 2006), Lecture Notes in Computer Science, vol. 4229, pp. 24–45. Springer, Berlin (2006)
-
(2006)
Proc. Formal Techniques for Networked and Distributed Systems (FORTE 2006), Lecture Notes in Computer Science, vol. 4229
, pp. 24-45
-
-
Wirsing, M.1
Clark, A.2
Gilmore, S.3
Hölzl, M.4
Knapp, A.5
Koch, N.6
Schröder, A.7
Najm, E.8
Pradat-Peyre, J.-F.9
-
40
-
-
57049099541
-
Using temporal business rules to synthesize service composition process models
-
INSTICC Press, Setúbal
-
Yu, J., Han, J., Falcarin, P., Morisio, M.: Using temporal business rules to synthesize service composition process models. In: van Sinderen, M. (ed.) Proc. 1st Int. Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, pp. 86–95. INSTICC Press, Setúbal (2007)
-
(2007)
Proc. 1st Int. Workshop on Architectures, Concepts and Technologies for Service Oriented Computing
, pp. 86-95
-
-
Yu, J.1
Han, J.2
Falcarin, P.3
Morisio, M.4
van Sinderen, M.5
|