-
1
-
-
77049125614
-
-
Eclipse Coordination Tools, http://reo.project.cwi.nl/.
-
-
-
-
2
-
-
84926020762
-
Reo: A channel-based coordination model for component composition
-
Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition, Mathematical Structures in Computer Science, 14(3), 2004, 329-366.
-
(2004)
Mathematical Structures in Computer Science
, vol.14
, Issue.3
, pp. 329-366
-
-
Arbab, F.1
-
3
-
-
37149056034
-
Component connectors with QoS guarantees
-
(A. L. Murphy and J. Vitek, Ed.), LNCS, Springer
-
Arbab, F., Chothia, T., Sun, M., Moon, Y.-J.: Component Connectors with QoS Guarantees, in: Proceedings of 9th International Conference on Coordination Models and Languages, Coordination'07 (A. L. Murphy and J. Vitek, Ed.), vol.4467 of LNCS, Springer, 2007, 286-304.
-
(2007)
Proceedings of 9th International Conference on Coordination Models and Languages, Coordination'07
, vol.4467
, pp. 286-304
-
-
Arbab, F.1
Chothia, T.2
Sun, M.3
Moon, Y.-J.4
-
4
-
-
34248633749
-
Adaptive service composition in flexible processes
-
Ardagna, D., Pernici, B.: Adaptive Service Composition in Flexible Processes, IEEE Transactions on Software Engineering, 33, 2007, 369-384.
-
(2007)
IEEE Transactions on Software Engineering
, vol.33
, pp. 369-384
-
-
Ardagna, D.1
Pernici, B.2
-
5
-
-
33748149533
-
Modeling component connectors in Reo by constraint automata
-
Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata, Science of Computer Programming, 61, 2006, 75-113.
-
(2006)
Science of Computer Programming
, vol.61
, pp. 75-113
-
-
Baier, C.1
Sirjani, M.2
Arbab, F.3
Rutten, J.4
-
6
-
-
0001990888
-
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
-
Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time, Theoretical Computer Science, 202, 1998, 1-54.
-
(1998)
Theoretical Computer Science
, vol.202
, pp. 51-54
-
-
Bernardo, M.1
Gorrieri, R.2
-
7
-
-
0031095278
-
Semiring-based constraint satisfaction and optimization
-
Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization, Journal of the ACM, 44(2), 1997, 201-236.
-
(1997)
Journal of the ACM
, vol.44
, Issue.2
, pp. 201-236
-
-
Bistarelli, S.1
Montanari, U.2
Rossi, F.3
-
8
-
-
84889396610
-
-
John Wiley
-
Bolch, G., Greiner, S., de Meer, H., Trivedi, K. S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, John Wiley, 2006.
-
(2006)
Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
-
-
Bolch, G.1
Greiner, S.2
De Meer, H.3
Trivedi, K.S.4
-
9
-
-
32544441115
-
Quality of service for work flows and web service processes
-
Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for work flows and web service processes, Web Semantics: Science, Services and Agents on the World Wide Web, 1(3), 2004, 281-308.
-
(2004)
Web Semantics: Science, Services and Agents on the World Wide Web
, vol.1
, Issue.3
, pp. 281-308
-
-
Cardoso, J.1
Sheth, A.2
Miller, J.3
Arnold, J.4
Kochut, K.5
-
10
-
-
20444443223
-
Probabilistic, context-sensitive, and goal-oriented service selection
-
(M. Aiello, M. Aoyama, F. Curbera, M. P. Papazoglou, Eds.), ACM
-
Casati, F., Castellanos, M., Dayal, U., Shan, M.-C.: Probabilistic, Context-Sensitive, and Goal-Oriented Service Selection, in: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings (M. Aiello, M. Aoyama, F. Curbera, M. P. Papazoglou, Eds.), ACM, 2004, 316-321.
-
(2004)
Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19 2004, Proceedings
, pp. 316-321
-
-
Casati, F.1
Castellanos, M.2
Dayal, U.3
Shan, M.-C.4
-
11
-
-
34250007995
-
Q-Automata: Modelling the resource usage of concurrent components
-
Chothia, T., Kleijn, J.: Q-Automata: Modelling the Resource Usage of Concurrent Components, Electronic Notes in Theoretical Computer Science, 175(2), 2007, 153-167.
-
(2007)
Electronic Notes in Theoretical Computer Science
, vol.175
, Issue.2
, pp. 153-167
-
-
Chothia, T.1
Kleijn, J.2
-
12
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
Clarke, E. M., Emerson, E. A., Sistla, A. P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, 8(2), 1986, 244-263.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
13
-
-
33745678769
-
QoS-Driven web service composition with inter service conflicts
-
(X. Zhou et al. Ed.), LNCS, Springer
-
Gao, A., Yang, D., Tang, S., Zhang, M.: QoS-Driven Web Service Composition with Inter Service Conflicts, in: Frontiers of WWW Research and Development - APWeb 2006 (X. Zhou et al., Ed.), vol.3841 of LNCS, Springer, 2006, 121-132.
-
(2006)
Frontiers of WWW Research and Development - APWeb 2006
, vol.3841
, pp. 121-132
-
-
Gao, A.1
Yang, D.2
Tang, S.3
Zhang, M.4
-
15
-
-
0037028876
-
Process algebra for performance evaluation
-
Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation, Theoretical Computer Science, 274, 2002, 43-87.
-
(2002)
Theoretical Computer Science
, vol.274
, pp. 43-87
-
-
Hermanns, H.1
Herzog, U.2
Katoen, J.-P.3
-
16
-
-
0000490471
-
Stochastic process algebras: Between LOTOS and markov chains
-
Hermanns, H., Herzog, U., Mertsiotakis, V.: Stochastic Process Algebras: Between LOTOS and Markov Chains, Computer Networks ISDN Systems, 30(9/10), 1998, 901-924.
-
(1998)
Computer Networks ISDN Systems
, vol.30
, Issue.9-10
, pp. 901-924
-
-
Hermanns, H.1
Herzog, U.2
Mertsiotakis, V.3
-
18
-
-
33646403177
-
A logic for application level QoS
-
Hirsch, D., Lluch-Lafuente, A., Tuosto, E.: A Logic for Application Level QoS, Electronic Notes in Theoretical Computer Science, 153, 2006, 135-159.
-
(2006)
Electronic Notes in Theoretical Computer Science
, vol.153
, pp. 135-159
-
-
Hirsch, D.1
Lluch-Lafuente, A.2
Tuosto, E.3
-
19
-
-
33646400342
-
SHReQ: A framework for coordinating application level QoS
-
(B. Aichernig, B. Beckert, Eds.), IEEE Computer Society Press
-
Hirsch, D., Tuosto, E.: SHReQ: A Framework for Coordinating Application Level QoS, in: SEFM2005, 3rd International Conference on Software Engineering and Formal Methods (B. Aichernig, B. Beckert, Eds.), IEEE Computer Society Press, 2005, 425-434.
-
(2005)
SEFM2005, 3rd International Conference on Software Engineering and Formal Methods
, pp. 425-434
-
-
Hirsch, D.1
Tuosto, E.2
-
22
-
-
33646699574
-
QoS-aware composition of web services: An evaluation of selection algorithms
-
DOI 10.1007/11575771-41, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Proceedings
-
Jaeger, M. C., Mühl, G., Golze, S.: QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms, in: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, vol.3760 of LNCS, Springer, 2005, 646-661. (Pubitemid 43734331)
-
(2005)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3760
, pp. 646-661
-
-
Jaeger, M.C.1
Muhl, G.2
Golze, S.3
-
23
-
-
0030258842
-
Distributed processing environment: A platform for distributed telecommunications applications
-
available at
-
Leong, F., Mylavarabhata, S. P., Nguyen, T., Quemada, F.: Distributed Processing Environment: A Platform for Distributed Telecommunications Applications, Hewlett-Packard Journal Online, 47(5), 1996, 1-6, available at http://www.hpl.hp.com/hpjournal/96oct/oct96a2.pdf.
-
(1996)
Hewlett-Packard Journal Online
, vol.47
, Issue.5
, pp. 1-6
-
-
Leong, F.1
Mylavarabhata, S.P.2
Nguyen, T.3
Quemada, F.4
-
24
-
-
0029253915
-
Probabilistic and prioritized models of timed CSP
-
Lowe, G.: Probabilistic and prioritized models of timed CSP, Theoretical Computer Science, 138, 1995, 315-352.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 315-352
-
-
Lowe, G.1
-
25
-
-
84976753721
-
A class of generalized stochastic Petrinets for the performance evaluation of multiprocessor systems
-
Marsan, M. A., Conte, G., Balbo, G.: A Class of Generalized Stochastic Petrinets for the Performance Evaluation of Multiprocessor Systems, ACM Transactions on Computer Systems, 2(2), 1984, 93-122.
-
(1984)
ACM Transactions on Computer Systems
, vol.2
, Issue.2
, pp. 93-122
-
-
Marsan, M.A.1
Conte, G.2
Balbo, G.3
-
26
-
-
11044227202
-
Composing web services: A QoS view
-
Menasće, D. A.: Composing Web Services: A QoS View, IEEE Internet Computing, 8(6), 2004, 88-90.
-
(2004)
IEEE Internet Computing
, vol.8
, Issue.6
, pp. 88-90
-
-
Menasće, D.A.1
-
27
-
-
11044239442
-
Current solutions for web service composition
-
Milanovic, N., Malek, M.: Current Solutions for Web Service Composition, IEEE Internet Computing, 8, 2004, 51-59.
-
(2004)
IEEE Internet Computing
, vol.8
, pp. 51-59
-
-
Milanovic, N.1
Malek, M.2
-
28
-
-
84988613226
-
An algebraic definition of simulation between programs
-
London, UK (D. C. Cooper, Ed.), William Kaufmann, British Computer Society
-
Milner, R.: An algebraic definition of simulation between programs, in: Proceedings of the 2nd International Joint Conference on Artifiial Intelligence, London, UK (D. C. Cooper, Ed.), William Kaufmann, British Computer Society, 1971, 481-489.
-
(1971)
Proceedings of the 2nd International Joint Conference on Artifiial Intelligence
, pp. 481-489
-
-
Milner, R.1
-
30
-
-
35248843231
-
A formal basis for reasoning on programmable QoS
-
(N. Dershowitz, Ed.), LNCS, Springer
-
Nicola, R. D., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A Formal Basis for Reasoning on Programmable QoS, in: Verification: Theory and Practice (N. Dershowitz, Ed.), vol.2772 of LNCS, Springer, 2003, 436-479.
-
(2003)
Verification: Theory and Practice
, vol.2772
, pp. 436-479
-
-
Nicola, R.D.1
Ferrari, G.2
Montanari, U.3
Pugliese, R.4
Tuosto, E.5
-
31
-
-
24644520040
-
A process calculus for QoS-aware applications
-
LNCS, Springer
-
Nicola, R. D., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A Process Calculus for QoS-aware Applications, in: Coordination 2005, vol.3454 of LNCS, Springer, 2005, 33-48.
-
(2005)
Coordination 2005
, vol.3454
, pp. 33-48
-
-
Nicola, R.D.1
Ferrari, G.2
Montanari, U.3
Pugliese, R.4
Tuosto, E.5
-
32
-
-
84958780425
-
An overview and synthesis on timed process algebras
-
(J. W. de Bakker, Ed.), LNCS, Springer
-
Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras, in: Real-Time: Theory in Practice (J. W. de Bakker, Ed.), vol.600 of LNCS, Springer, 1992, 526-548.
-
(1992)
Real-Time: Theory in Practice
, vol.600
, pp. 526-548
-
-
Nicollin, X.1
Sifakis, J.2
-
33
-
-
4243048792
-
Service oriented computing
-
Papazoglou, M. P., Georgakopoulos, D.: Service Oriented Computing, Communications of the ACM, 46(10), 2003, 25-28.
-
(2003)
Communications of the ACM
, vol.46
, Issue.10
, pp. 25-28
-
-
Papazoglou, M.P.1
Georgakopoulos, D.2
-
34
-
-
36749060136
-
Service-oriented computing: State of the art and research challenges
-
Papazoglou, M. P., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: State of the Art and Research Challenges, IEEE Computer, 2007, 64-71.
-
(2007)
IEEE Computer
, pp. 64-71
-
-
Papazoglou, M.P.1
Traverso, P.2
Dustdar, S.3
Leymann, F.4
-
35
-
-
33750914676
-
A calculus and logic of resources and processes
-
Pym, D., Tofts, C.: A calculus and logic of resources and processes, Formal Aspects of Computing, 18, 2006, 495-517.
-
(2006)
Formal Aspects of Computing
, vol.18
, pp. 495-517
-
-
Pym, D.1
Tofts, C.2
-
36
-
-
33750646143
-
Performance and reliability analysis using directed acyclic graphs
-
Sahner, R. A., Trivedi, K. S.: Performance and reliability analysis using directed acyclic graphs, IEEE Transactions on Software Engineering, 13(10), 1987, 1105-1114.
-
(1987)
IEEE Transactions on Software Engineering
, vol.13
, Issue.10
, pp. 1105-1114
-
-
Sahner, R.A.1
Trivedi, K.S.2
-
37
-
-
34548818384
-
QCCS: A formal model to enforce QoS requirements in service composition
-
(J. He, J. Sanders, Eds.), IEEE Computer Society
-
Sun, M.: QCCS: A Formal Model to Enforce QoS Requirements in Service Composition, in: Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE'07 (J. He, J. Sanders, Eds.), IEEE Computer Society, 2007, 389-400.
-
(2007)
Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE'07
, pp. 389-400
-
-
Sun, M.1
-
38
-
-
35248836872
-
Web services choreography and orchestration in reo and constraint automata
-
Sun, M., Arbab, F.: Web Services Choreography and Orchestration in Reo and Constraint Automata, in: Proceedings of 22nd Annual ACM Symposium on Applied Computing, SAC'07, 2007, 346-353.
-
(2007)
Proceedings of 22nd Annual ACM Symposium on Applied Computing, SAC'07
, pp. 346-353
-
-
Sun, M.1
Arbab, F.2
-
41
-
-
33745220038
-
The costs and limits of availability for replicated services
-
Yu, H., Vahdat, A.: The Costs and Limits of Availability for Replicated Services, ACM Transactions on Computer Systems, 24(1), 2006, 70-113.
-
(2006)
ACM Transactions on Computer Systems
, vol.24
, Issue.1
, pp. 70-113
-
-
Yu, H.1
Vahdat, A.2
-
42
-
-
33744959982
-
Service selection algorithms for composing complex services with multiple QoS constraints
-
DOI 10.1007/11596141-11, Service-Oriented Computing, ICSOC 2005 - Third International Conference, Proceedings
-
Yu, T., Lin, K.-J.: Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints, in: ICSOC 2005 (B. Benatallah, F. Casati, P. Traverso, Eds.), vol.3826 of LNCS, Springer, 2005, 130-143. (Pubitemid 43856181)
-
(2005)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3826
, pp. 130-143
-
-
Yu, T.1
Lin, K.-J.2
-
43
-
-
3042666264
-
QoS-aware middleware for web services composition
-
Zeng, L., Benatallah, B., Ngu, A. H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-Aware Middleware for Web Services Composition, IEEE Transactions on Software Engineering, 30(5), 2004, 311-327.
-
(2004)
IEEE Transactions on Software Engineering
, vol.30
, Issue.5
, pp. 311-327
-
-
Zeng, L.1
Benatallah, B.2
Ngu, A.H.3
Dumas, M.4
Kalagnanam, J.5
Chang, H.6
|