Filter your results
- 16
- 16
- 16
- 2
- 2
- 1
- 1
- 1
- 3
- 6
- 16
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.195-211, ⟨10.1007/978-3-642-37635-1_12⟩
Conference papers
hal-01485970v1
|
||
|
|
An Agent-based B2B Collaboration Platform for Executing Collaborative Business Processes10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E), Nov 2010, Buenos Aires, Argentina. pp.40-50, ⟨10.1007/978-3-642-16283-1_8⟩
Conference papers
hal-01058065v1
|
||
|
|
On Existence, Uniqueness, and Convergence of Optimal Control Problems Governed by Parabolic Variational Inequalities25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.76-84, ⟨10.1007/978-3-642-36062-6_8⟩
Conference papers
hal-01347525v1
|
||
|
|
Service Oriented Approach for Autonomous Exception Management in Supply Chains10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E), Nov 2010, Buenos Aires, Argentina. pp.292-303, ⟨10.1007/978-3-642-16283-1_32⟩
Conference papers
hal-01055014v1
|
||
|
|
Quality of Service Ranking by Quantifying Partial Compliance of Requirements22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.181-189, ⟨10.1007/978-3-030-50029-0_12⟩
Conference papers
hal-03273990v1
|
||
|
|
Automatic Quality-of-Service Evaluation in Service-Oriented Computing21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.221-236, ⟨10.1007/978-3-030-22397-7_13⟩
Conference papers
hal-02365510v1
|
||
|
|
Model Based on Bayesian Networks for Monitoring Events in a Supply ChainInternational Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.358-365, ⟨10.1007/978-3-642-16358-6_45⟩
Conference papers
hal-01055834v1
|
||
|
|
Reversing P/T Nets21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.19-36, ⟨10.1007/978-3-030-22397-7_2⟩
Conference papers
hal-02365503v1
|
||
|
|
A Denotational View of Replicated Data Types19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩
Conference papers
hal-01657339v1
|
||
|
|
Automatically Detecting Opportunities for Web Service Descriptions Improvement10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E), Nov 2010, Buenos Aires, Argentina. pp.139-150, ⟨10.1007/978-3-642-16283-1_18⟩
Conference papers
hal-01055025v1
|
||
|
|
Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.96-103, ⟨10.1007/978-3-642-40361-3_13⟩
Conference papers
hal-01470607v1
|
||
|
|
Towards a Cognitive Linked Public Service Cloud19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. pp.430-441, ⟨10.1007/978-3-319-99127-6_37⟩
Conference papers
hal-02191192v1
|
||
|
|
A Choreography-Driven Approach to APIs: The OpenDXL Case Study22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩
Conference papers
hal-03274000v1
|
||
|
|
Compound Web Service for Supply Processes Monitoring to Anticipate Disruptive Event10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E), Nov 2010, Buenos Aires, Argentina. pp.51-60, ⟨10.1007/978-3-642-16283-1_9⟩
Conference papers
hal-01058068v1
|
||
|
|
A Formal Analysis of the Global Sequence Protocol18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.175-191, ⟨10.1007/978-3-319-39519-7_11⟩
Conference papers
hal-01631716v1
|
||
|
|
Exploiting the Social Capital of Folksonomies for Web Page Classification10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E), Nov 2010, Buenos Aires, Argentina. pp.151-160, ⟨10.1007/978-3-642-16283-1_19⟩
Conference papers
hal-01055024v1
|