Filter your results
- 10
- 1
- 10
- 1
- 11
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 1
- 1
11 results
|
|
sorted by
|
|
Theoretical Analysis and Optimization of Nonlinear ODE Systems for Marine Ecosystem Models25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.501-510, ⟨10.1007/978-3-642-36062-6_50⟩
Conference papers
hal-01347576v1
|
||
|
Improving Estimations for Latencies of Cause-Effect Chains6th International Embedded Systems Symposium (IESS), Sep 2019, Friedrichshafen, Germany. pp.53-64, ⟨10.1007/978-3-031-26500-6_5⟩
Conference papers
hal-04489008v1
|
||
|
Elastic Application-Level Monitoring for Large Software Landscapes in the Cloud4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.80-94, ⟨10.1007/978-3-319-24072-5_6⟩
Conference papers
hal-01757572v1
|
||
|
Descriptional Complexity of Formal SystemsSpringer International Publishing, LNCS-9777, 2016, Lecture Notes in Computer Science, 978-3-319-41113-2. ⟨10.1007/978-3-319-41114-9⟩
Books
hal-01633947v1
|
||
|
AFFINE for Enforcing Earlier Consideration of NFRs and Human Factors When Building Socio-Technical Systems Following Agile MethodologiesThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.182-189, ⟨10.1007/978-3-642-16488-0_15⟩
Conference papers
hal-01055205v1
|
||
|
Introducing Periodic Parameters in a Marine Ecosystem Model Using Discrete Linear Quadratic Control25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.481-490, ⟨10.1007/978-3-642-36062-6_48⟩
Conference papers
hal-01347570v1
|
||
|
Formal Verification of Concurrent Embedded Software4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.218-227, ⟨10.1007/978-3-642-38853-8_20⟩
Conference papers
hal-01466676v1
|
||
|
The Evaluation of Mobile Sector in Turkey in Terms of Mobile Supply Chain Management PracticesInternational Conference on Advances in Production Management Systems (APMS), Sep 2011, Stavanger, Norway. pp.526-533, ⟨10.1007/978-3-642-33980-6_57⟩
Conference papers
hal-01524212v1
|
||
|
Rule Determination and Process Verification Using Business Capabilities5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. pp.46-60, ⟨10.1007/978-3-642-34549-4_4⟩
Conference papers
hal-01484388v1
|
||
|
Approximating the Non-contiguous Multiple Organization Packing Problem6th 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.316-327, ⟨10.1007/978-3-642-15240-5_23⟩
Conference papers
hal-01054450v1
|
||
|
Network Aggregation to Enhance Results Derived from Multiple Analytics16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.128-140, ⟨10.1007/978-3-030-49161-1_12⟩
Conference papers
hal-04050590v1
|