Filter your results
- 14
- 14
- 14
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 4
- 14
- 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
- 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
|
|
Social Validation of Solutions in the Context of Online Communities5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.93-104, ⟨10.1007/978-3-319-19578-0_8⟩
Conference papers
hal-01789983v1
|
||
|
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩
Conference papers
hal-01055395v1
|
||
|
Authoring Support for Post-WIMP Applications14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.744-761, ⟨10.1007/978-3-642-40477-1_51⟩
Conference papers
hal-01504927v1
|
||
|
From Simulation Data to Test Cases for Fully Automated Driving and ADAS28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.191-206, ⟨10.1007/978-3-319-47443-4_12⟩
Conference papers
hal-01643731v1
|
||
|
The Difference Matters: Benchmarking Visual Performance of a Cognitive Pilot Model13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.240-247, ⟨10.1007/978-3-642-23768-3_20⟩
Conference papers
hal-01596923v1
|
||
|
Validating Evolutionary Algorithms on Volunteer Computing Grids10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.29-41, ⟨10.1007/978-3-642-13645-0_3⟩
Conference papers
hal-01061080v1
|
||
|
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
Conference papers
hal-01767328v1
|
||
|
A Quality Assessment Framework for Large Datasets of Container-Trips Information15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.729-740, ⟨10.1007/978-3-319-45378-1_63⟩
Conference papers
hal-01637491v1
|
||
|
CRITERIA FOR VALIDATING SECURE WIPING TOOLS11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.321-339, ⟨10.1007/978-3-319-24123-4_19⟩
Conference papers
hal-01449066v1
|
||
|
Tooled Process for Early Validation of SysML Models using Modelica Simulation6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers
hal-01246025v1
|
||
|
Modeling Non-deterministic C Code with Active Objects8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.213-227, ⟨10.1007/978-3-030-31517-7_15⟩
Conference papers
hal-03769132v1
|
||
|
A Modified Firefly Algorithm with Support Vector Machine for Medical Data Classification6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.232-243, ⟨10.1007/978-3-319-89743-1_21⟩
Conference papers
hal-01913910v1
|
||
|
Data Recovery Function Testing for Digital Forensic Tools6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.297-311, ⟨10.1007/978-3-642-15506-2_21⟩
Conference papers
hal-01060626v1
|
||
|
Modelling Cloud Computing Infrastructure4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.106-109, ⟨10.1007/978-3-642-13986-4_15⟩
Conference papers
hal-01056641v1
|