Filter your results
- 14
- 14
- 14
- 1
- 3
- 1
- 2
- 7
- 14
- 8
- 6
- 98
- 78
- 75
- 65
- 59
- 51
- 49
- 47
- 43
- 42
- 40
- 40
- 38
- 35
- 33
- 33
- 33
- 31
- 29
- 29
- 29
- 29
- 28
- 28
- 27
- 26
- 25
- 25
- 25
- 23
- 23
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 3
- 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
- 1
- 1
14 results
|
|
|
sorted by
|
|
|
A New Approach to Competence-Based Business Partner Profiles for Collaborative Business Process Management11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.356-363, ⟨10.1007/978-3-642-15961-9_42⟩
Conference papers
hal-01055973v1
|
||
|
|
Initial Segment Complexities of Randomness Notions6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.259-270, ⟨10.1007/978-3-642-15240-5_19⟩
Conference papers
hal-01054455v1
|
||
|
|
Bounded Model Checking of Graph Transformation Systems via SMT Solving15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers
hal-01515236v1
|
||
|
|
Introducing Automated Unit Testing into Open Source Projects6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.361-366, ⟨10.1007/978-3-642-13244-5_32⟩
Conference papers
hal-01056039v1
|
||
|
|
Cloud Standby: Disaster Recovery of Distributed Systems in the Cloud3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.32-46, ⟨10.1007/978-3-662-44879-3_3⟩
Conference papers
hal-01318271v1
|
||
|
|
Collaborative Management of Intermodal Mobility15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.713-721, ⟨10.1007/978-3-662-44745-1_70⟩
Conference papers
hal-01392178v1
|
||
|
|
Traceable Sets6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.301-315, ⟨10.1007/978-3-642-15240-5_22⟩
Conference papers
hal-01054451v1
|
||
|
|
Topologies Refining the Cantor Topology on Xω6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.271-285, ⟨10.1007/978-3-642-15240-5_20⟩
Conference papers
hal-01054453v1
|
||
|
|
Efficient Inference Control for Open Relational Queries24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.162-176, ⟨10.1007/978-3-642-13739-6_11⟩
Conference papers
hal-01056690v1
|
||
|
|
Flexible Integration of Service Suppliers in Collaborative Service Procurement Networks12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.85-92, ⟨10.1007/978-3-642-23330-2_10⟩
Conference papers
hal-01569966v1
|
||
|
|
Business Process Driven Matching of Partner Profiles to Resource Requirements12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.456-464, ⟨10.1007/978-3-642-23330-2_50⟩
Conference papers
hal-01569990v1
|
||
|
|
Conceptual Design of Service Procurement for Collaborative Service Networks11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.435-442, ⟨10.1007/978-3-642-15961-9_52⟩
Conference papers
hal-01055962v1
|
||
|
|
Skill-Based Asset Management: A PLM-Approach for Reconfigurable Production Systems11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.465-474, ⟨10.1007/978-3-662-45937-9_46⟩
Conference papers
hal-01386554v1
|
||
|
|
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.153-173, ⟨10.1007/978-3-030-49669-2_9⟩
Conference papers
hal-03243622v1
|