Filter your results
- 10
- 1
- 10
- 1
- 10
- 1
- 1
- 11
- 4
- 3
- 4
- 3
- 3
- 4
- 10
- 6
- 12
- 5
- 6
- 11
- 9
- 5
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Failure Analysis and Modeling in Large Multi-site Infrastructures13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.127-140, ⟨10.1007/978-3-642-38541-4_10⟩
Conference papers
hal-01489451v1
|
||
|
A Timed Component Algebra for Services15th 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.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers
hal-01515250v1
|
||
|
Towards Trust-Aware and Self-adaptive Systems7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.255-262, ⟨10.1007/978-3-642-38323-6_20⟩
Conference papers
hal-01468178v1
|
||
|
A transversal alignment between measurements and enterprise architecture for early verification of telecom service design19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.245-256, ⟨10.1007/978-3-642-40552-5_22⟩
Conference papers
hal-00859979v1
|
||
|
Distributed Applications and Interoperable SystemsSpringer, LNCS-7891, 2013, Lecture Notes in Computer Science, 978-3-642-38540-7. ⟨10.1007/978-3-642-38541-4⟩
Books
hal-01489472v1
|
||
|
DynaSoRe: Efficient In-Memory Store for Social Applications14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers
hal-00932468v1
|
||
|
Effect of Slice Thickness on Texture-Based Classification of Liver Dynamic CT Scans12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.96-107, ⟨10.1007/978-3-642-40925-7_10⟩
Conference papers
hal-01496055v1
|
||
|
Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers
hal-01489457v1
|
||
|
Quantitative Modal Transition Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers
hal-01485977v1
|
||
|
User and System Cross-Learning of Gesture Commands on Pen-Based Devices14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.337-355, ⟨10.1007/978-3-642-40480-1_21⟩
Conference papers
hal-00881020v2
|
||
|
Program Transformation for Non-interference Verification on Programs with Pointers28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
Conference papers
hal-00814671v2
|