Filter your results
- 19
- 10
- 19
- 10
- 29
- 1
- 3
- 1
- 1
- 2
- 2
- 6
- 7
- 2
- 4
- 29
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 4
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
“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
|
||
|
Cooling Wet-Pad Fan Control System of Piggery Based on Zigbee5th Computer and Computing Technologies in Agriculture (CCTA), Oct 2011, Beijing, China. pp.147-154, ⟨10.1007/978-3-642-27281-3_19⟩
Conference papers
hal-01351804v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Distributed Security Policy Conformance26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.210-222, ⟨10.1007/978-3-642-21424-0_17⟩
Conference papers
hal-01567586v1
|
||
|
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
|
||
|
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
|
||
|
The Analysis of County Science and Technology Worker Internet Usage and Its Influence Factors7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. pp.434-443, ⟨10.1007/978-3-642-54341-8_45⟩
Conference papers
hal-01220854v1
|
||
|
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
|
||
|
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
|
||
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩
Books
hal-01528737v1
|
||
|
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
|
||
|
Research on Regional Spatial Variability of Soil Moisture Based on GISThird IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture III (CCTA), Oct 2009, Beijing, China. pp.466-470, ⟨10.1007/978-3-642-12220-0_68⟩
Conference papers
hal-01055412v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Open Source Vulnerability Notification15th IFIP International Conference on Open Source Systems (OSS), May 2019, Montreal, QC, Canada. pp.12-23, ⟨10.1007/978-3-030-20883-7_2⟩
Conference papers
hal-02305712v1
|
||
|
Product Lifecycle Management for SocietySpringer, AICT-409, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-41500-5. ⟨10.1007/978-3-642-41501-2⟩
Books
hal-01462021v1
|
||
|
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
|
||
|
A Framework to Assess Risk of Illicit Trades Using Bayesian Belief NetworksIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.504-513, ⟨10.1007/978-3-030-85914-5_54⟩
Conference papers
hal-03897902v1
|
||
|
Re-conceptualizing Enterprise Information SystemsSpringer, LNBIP-105, 2012, Lecture Notes in Business Information Processing, 978-3-642-28826-5. ⟨10.1007/978-3-642-28827-2⟩
Books
hal-01483877v1
|
||
|
Data-Driven Process Discovery and AnalysisSpringer, LNBIP-162, 2013, Lecture Notes in Business Information Processing, 978-3-642-40918-9. ⟨10.1007/978-3-642-40919-6⟩
Books
hal-01474694v1
|
||
|
The Practice of Enterprise ModelingSpringer, LNBIP-165, 2013, Lecture Notes in Business Information Processing, 978-3-642-41640-8. ⟨10.1007/978-3-642-41641-5⟩
Books
hal-01474798v1
|
||
|
Enterprise InteroperabilitySpringer, LNBIP-144, 2013, Lecture Notes in Business Information Processing, 978-3-642-36795-3. ⟨10.1007/978-3-642-36796-0⟩
Books
hal-01474220v1
|