Filter your results
- 18
- 18
- 18
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 1
- 1
- 18
- 1
- 1
- 1
- 1
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.159-175, ⟨10.1007/978-3-319-24644-4_11⟩
Conference papers
hal-01446598v1
|
||
|
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-50029-0_1⟩
Conference papers
hal-03273994v1
|
||
|
Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.526-535, ⟨10.1007/978-3-319-59105-6_45⟩
Conference papers
hal-01656236v1
|
||
|
Algorithms for Automatic Selection of Allophones to the Acoustic Units Database16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.218-226, ⟨10.1007/978-3-319-59105-6_19⟩
Conference papers
hal-01656258v1
|
||
|
Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.741-751, ⟨10.1007/978-3-319-45378-1_64⟩
Conference papers
hal-01637501v1
|
||
|
Program Synthesis: Synthesizing Operators for Integer Manipulation3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.312-319, ⟨10.1007/978-3-030-63467-4_26⟩
Conference papers
hal-03434779v1
|
||
|
Designing of Hierarchical Structures for Binary Comparators on FPGA/SoC14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.386-396, ⟨10.1007/978-3-319-24369-6_32⟩
Conference papers
hal-01444482v1
|
||
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers
hal-01290066v1
|
||
|
The Empathy Machine11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.461-464, ⟨10.1007/978-3-642-33542-6_53⟩
Conference papers
hal-01556158v1
|
||
|
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
Conference papers
hal-02365502v1
|
||
|
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.225-238, ⟨10.1007/978-3-030-78142-2_14⟩
Conference papers
hal-03387846v1
|
||
|
Word Recognition by Combining Outline Emphasis and Synthesize Background16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.492-496, ⟨10.1007/978-3-319-66715-7_70⟩
Conference papers
hal-01771238v1
|
||
|
Noise Modeler: An Interactive Editor and Library for Procedural Terrains via Continuous Generation and Compilation of GPU Shaders14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.469-474, ⟨10.1007/978-3-319-24589-8_42⟩
Conference papers
hal-01758466v1
|
||
|
Algorithm of Allophone Borders Correction in Automatic Segmentation of Acoustic Units15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.462-469, ⟨10.1007/978-3-319-45378-1_41⟩
Conference papers
hal-01637487v1
|
||
|
Towards Probabilistic Session-Type Monitoring23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.106-120, ⟨10.1007/978-3-030-78142-2_7⟩
Conference papers
hal-03387845v1
|
||
|
Scheduling Games for Concurrent Systems18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers
hal-01631719v1
|
||
|
Governments’ Perspective on Engaging Citizens in the Co-creation of E-Government Services: A Meta-synthesis of Qualitative Case Studies18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.451-463, ⟨10.1007/978-3-030-29374-1_37⟩
Conference papers
hal-02510154v1
|
||
|
CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.92-108, ⟨10.1007/978-3-030-22397-7_6⟩
Conference papers
hal-02365501v1
|