Filter your results
- 25
- 25
- 25
- 1
- 1
- 2
- 2
- 5
- 2
- 1
- 2
- 8
- 1
- 1
- 25
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A 16-Intersection Matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query LanguagesInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.302-316, ⟨10.1007/978-3-642-32498-7_23⟩
Conference papers
hal-01542449v1
|
||
|
|
Shelves: A User-Defined Block Management Tool for Visual Programming Languages16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.335-344, ⟨10.1007/978-3-319-67687-6_22⟩
Conference papers
hal-01717199v1
|
||
|
|
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.76-91, ⟨10.1007/978-3-642-13414-2_6⟩
Conference papers
hal-01054622v1
|
||
|
|
On Properties and State Complexity of Deterministic State-Partition Automata7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.164-178, ⟨10.1007/978-3-642-33475-7_12⟩
Conference papers
hal-01556220v1
|
||
|
|
Writing Real-Time .Net Games in Casanova11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.341-348, ⟨10.1007/978-3-642-33542-6_30⟩
Conference papers
hal-01556148v1
|
||
|
|
Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.128-139, ⟨10.1007/978-3-319-60252-3_10⟩
Conference papers
hal-01657011v1
|
||
|
|
Information Systems Development Based on Visual Domain Specific Language BiLingva4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.124-135, ⟨10.1007/978-3-642-28038-2_10⟩
Conference papers
hal-01527381v1
|
||
|
|
Bringing Complex Event Processing into Multitree Modelling of Sensors16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers
hal-01434795v1
|
||
|
|
Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
Conference papers
hal-00739604v1
|
||
|
|
SFJ: An Implementation of Semantic Featherweight Java22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Conference papers
hal-03274001v1
|
||
|
|
Will the Visualization of Internet Affect Languages of Education?1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.185-194, ⟨10.1007/978-3-030-28764-1_21⟩
Conference papers
hal-02515733v1
|
||
|
|
Integration of Application Business Logic and Business Rules with DSL and AOP4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.30-39, ⟨10.1007/978-3-642-28038-2_3⟩
Conference papers
hal-01527379v1
|
||
|
|
Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.165-170, ⟨10.1007/978-3-319-60774-0_16⟩
Conference papers
hal-01806071v1
|
||
|
|
Probabilistic Modular Embedding for Stochastic Coordinated Systems15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.151-165, ⟨10.1007/978-3-642-38493-6_11⟩
Conference papers
hal-01486024v1
|
||
|
|
2nd Workshop on Game Development and Model-Driven Software Development11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.500-503, ⟨10.1007/978-3-642-33542-6_64⟩
Conference papers
hal-01556120v1
|
||
|
|
Neverlang 2 – Componentised Language Development for the JVM12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.17-32, ⟨10.1007/978-3-642-39614-4_2⟩
Conference papers
hal-01492774v1
|
||
|
|
Can GUI Implementation Markup Languages Be Used for Modelling?4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.112-129, ⟨10.1007/978-3-642-34347-6_7⟩
Conference papers
hal-01556810v1
|
||
|
|
Infinite Two-Dimensional Strong Prefix Codes: Characterization and Properties23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.19-31, ⟨10.1007/978-3-319-58631-1_2⟩
Conference papers
hal-01656353v1
|
||
|
|
Aggregation Policies for Tuple Spaces20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.181-199, ⟨10.1007/978-3-319-92408-3_8⟩
Conference papers
hal-01821494v1
|
||
|
|
On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.272-284, ⟨10.1007/978-3-030-23247-4_21⟩
Conference papers
hal-02387299v1
|
||
|
|
On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.65-76, ⟨10.1007/978-3-319-60252-3_5⟩
Conference papers
hal-01657017v1
|
||
|
|
Unrestricted State Complexity of Binary Operations on Regular Languages18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.60-72, ⟨10.1007/978-3-319-41114-9_5⟩
Conference papers
hal-01633951v1
|
||
|
|
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers
hal-01774942v1
|
||
|
|
Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩
Conference papers
hal-00643601v1
|
||
|
|
Word Problem Languages for Free Inverse Monoids20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.24-36, ⟨10.1007/978-3-319-94631-3_3⟩
Conference papers
hal-01905631v1
|