Search results
From MaRDI portal
- specification method for systems automation 2014-08-07 Paper Transforming web services choreographies with priorities and time constraints into prioritized-time...10 bytes (18 words) - 13:42, 28 January 2024
- specification method for systems automation 2014-08-07 Paper Transforming web services choreographies with priorities and time constraints into prioritized-time...10 bytes (16 words) - 23:45, 10 December 2023
- Date of Publication Type The Web services resource framework in a peer-to-peer context 2006-11-17 Paper From P2P to web services and grids. Peers in a client/server...10 bytes (18 words) - 19:35, 12 December 2023
- of concurrent systems in algebra dtsiPBC 2016-06-27 Paper Transforming web services choreographies with priorities and time constraints into prioritized-time...10 bytes (17 words) - 23:45, 10 December 2023
- Consumer-centric QoS-aware selection of web services 2008-02-04 Paper A tentative commit protocol for composite web services 2006-10-25 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 16:32, 12 December 2023
- automatically derive choreography-conforming web service systems 2012-03-13 Paper Validation and verification of web services choreographies by using timed automata...10 bytes (16 words) - 00:28, 10 December 2023
- Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study 2008-07-03 Paper A Behavioural Congruence for Web Services 2008-07-01 Paper...10 bytes (16 words) - 03:23, 28 December 2023
- orchestrations of web services using partial correctness 2014-11-10 Paper A programming model for BSP with partitioned synchronisation 2011-10-18 Paper Web Services...10 bytes (16 words) - 02:40, 12 December 2023
- Publication Type A QoS aware service composition protocol in mobile ad hoc networks 2012-05-09 Paper A fuzzy evaluation system for web services selection using extended...10 bytes (17 words) - 20:41, 11 December 2023
- Publication Type A Rude Contract Language for Web Services 2015-07-10 Paper PiDuce- A project for experimenting web services technologies 2009-08-21 Paper Programming...10 bytes (16 words) - 06:11, 25 September 2023
- Publication Date of Publication Type Web apps and imprecise probabilitites 2022-12-01 Paper Modelling web-service uncertainty: the angel/daemon approach...10 bytes (16 words) - 21:57, 10 December 2023
- Paper A probabilistic approach to modeling and estimating the QoS of web-services-based workflows 2007-10-18 Paper https://portal.mardi4nfdi.de/entity/Q4739170...10 bytes (17 words) - 00:02, 9 December 2023
- Publication Date of Publication Type Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri...10 bytes (18 words) - 13:42, 28 January 2024
- critical 3D Ising systems 2011-03-17 Paper Validation and verification of web services choreographies by using timed automata 2011-01-07 Paper Atomistically...10 bytes (16 words) - 12:48, 12 December 2023
- Consumer-centric QoS-aware selection of web services 2008-02-04 Paper A tentative commit protocol for composite web services 2006-10-25 Paper...10 bytes (19 words) - 09:50, 6 October 2023
- de/entity/Q5453283 2008-04-04 Paper A novel web query automatic expansion based on rough set 2007-06-08 Paper Trust degree of Web services and its evaluation with neural...10 bytes (16 words) - 22:09, 11 December 2023
- 2016-01-07 Paper An algebraic theory for web service contracts 2015-09-03 Paper A theory of contracts for web services 2014-09-12 Paper Type Reconstruction...10 bytes (16 words) - 02:00, 7 October 2023
- Efficient Gradual Typing for TypeScript 2016-09-29 Paper A semantics for web services authentication 2015-11-11 Paper Self-certification 2015-09-11 Paper Modular...10 bytes (16 words) - 18:04, 9 December 2023
- the aggregation problem for synthesized web services 2014-01-20 Paper Complexity of synthesis of composite service with correctness guarantee 2012-08-17...10 bytes (16 words) - 04:12, 7 October 2023
- 2007-09-04 Paper Static Analysis 2005-08-24 Paper Analysis and simulation of Web services. 2003-08-07 Paper https://portal.mardi4nfdi.de/entity/Q4798013 2003-03-18...10 bytes (18 words) - 06:49, 12 December 2023
