Filter your results
- 21
- 5
- 21
- 5
- 26
- 2
- 3
- 1
- 2
- 3
- 1
- 3
- 5
- 5
- 3
- 26
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
26 results
|
|
sorted by
|
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer International Publishing, LNCS-9039, 2015, Lecture Notes in Computer Science, 978-3-319-19194-2. ⟨10.1007/978-3-319-19195-9⟩
Books
hal-01767330v1
|
||
|
TEXTile: Eyes-Free Text Input on Smart Glasses Using Touch Enabled Textile on the Forearm17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.351-371, ⟨10.1007/978-3-030-29384-0_22⟩
Conference papers
hal-02544630v1
|
||
|
Middleware 2010Springer, LNCS-6452, 2010, Lecture Notes in Computer Science, 978-3-642-16954-0. ⟨10.1007/978-3-642-16955-7⟩
Books
hal-01555803v1
|
||
|
Resource Provisioning Framework for MapReduce Jobs with Performance Goals12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.165-186, ⟨10.1007/978-3-642-25821-3_9⟩
Conference papers
hal-01597764v1
|
||
|
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.77-94, ⟨10.1007/978-3-642-37635-1_5⟩
Conference papers
hal-01485979v1
|
||
|
Coordination Models and LanguagesSpringer, LNCS-6116, 2010, Lecture Notes in Computer Science, 978-3-642-13413-5. ⟨10.1007/978-3-642-13414-2⟩
Books
hal-01555333v1
|
||
|
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudeJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers
hal-01055147v1
|
||
|
“I Kept Browsing and Browsing, But Still Couldn’t Find the One”: Salient Factors and Challenges in Online Typeface Selection17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.225-234, ⟨10.1007/978-3-030-29390-1_12⟩
Conference papers
hal-02877641v1
|
||
|
Network and Parallel ComputingSpringer International Publishing, LNCS-11276, 2018, Lecture Notes in Computer Science, 978-3-030-05676-6. ⟨10.1007/978-3-030-05677-3⟩
Books
hal-02279541v1
|
||
|
Evaluating Commonsense Knowledge with a Computer Game13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.348-355, ⟨10.1007/978-3-642-23774-4_28⟩
Conference papers
hal-01590550v1
|
||
|
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Conference papers
hal-01528727v1
|
||
|
Formalizing and Validating the P-Store Replicated Data Store in Maude23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.189-207, ⟨10.1007/978-3-319-72044-9_13⟩
Conference papers
hal-01767476v1
|
||
|
Statistical Model Checking for Composite Actor Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.143-160, ⟨10.1007/978-3-642-37635-1_9⟩
Conference papers
hal-01485983v1
|
||
|
A Small Model Theorem for Rectangular Hybrid Automata Networks14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.18-34, ⟨10.1007/978-3-642-30793-5_2⟩
Conference papers
hal-01528730v1
|
||
|
Encouraging Initiative in the Classroom with Anonymous Feedback13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.627-642, ⟨10.1007/978-3-642-23774-4_49⟩
Conference papers
hal-01590543v1
|
||
|
IdeaTracker: An Interactive Visualization Supporting Collaboration and Consensus Building in Online Interface Design Discussions13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.259-276, ⟨10.1007/978-3-642-23774-4_23⟩
Conference papers
hal-01590573v1
|
||
|
Making Sense of Communication Associated with Artifacts during Early Design Activity13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.181-198, ⟨10.1007/978-3-642-23774-4_17⟩
Conference papers
hal-01590585v1
|
||
|
Likeness and Dealbreakers: Interpreting Interpersonal Compatibility from Online Music Profiles14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.674-681, ⟨10.1007/978-3-642-40477-1_46⟩
Conference papers
hal-01504921v1
|
||
|
Conformance Testing of Boolean Programs with Multiple Faults14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.101-117, ⟨10.1007/978-3-642-30793-5_7⟩
Conference papers
hal-01528731v1
|
||
|
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.35-49, ⟨10.1007/978-3-319-19195-9_3⟩
Conference papers
hal-01767335v1
|
||
|
A Unified Definition of a Smart City16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.13-24, ⟨10.1007/978-3-319-64677-0_2⟩
Conference papers
hal-01702978v1
|
||
|
An Ontology of eGovernment14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.258-269, ⟨10.1007/978-3-319-22479-4_20⟩
Conference papers
hal-01412276v1
|
||
|
Message Passing Algorithm for the Generalized Assignment Problem11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.423-434, ⟨10.1007/978-3-662-44917-2_35⟩
Conference papers
hal-01403111v1
|
||
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩
Books
hal-01528737v1
|
||
|
Scoped Synchronization Constraints for Large Scale Actor Systems14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.89-103, ⟨10.1007/978-3-642-30829-1_7⟩
Conference papers
hal-01529588v1
|
||
|
Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.3-23, ⟨10.1007/978-3-030-29384-0_1⟩
Conference papers
hal-02544618v1
|