Search - IFIP Open Digital Library Access content directly

Filter your results

29 results
Structure: Internal structure identifier : 303576
Page :
sorted by
Image document

The Analysis of County Science and Technology Worker Internet Usage and Its Influence Factors

 Chen Huiping , Tian Zhihong , Wang Yubin , Han Xue
7th 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

Formal Techniques for Distributed Objects, Components, and Systems

 Susanne Graf , Mahesh Viswanathan
Springer 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
Image document

A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

 Ritwika Ghosh , Sayan Mitra
35th 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

Re-conceptualizing Enterprise Information Systems

 Wil van Der Aalst , John Mylopoulos , Michael Rosemann , Michael J. Shaw , Clemens Szyperski , et al.
Springer, LNBIP-105, 2012, Lecture Notes in Business Information Processing, 978-3-642-28826-5. ⟨10.1007/978-3-642-28827-2⟩
Books hal-01483877v1
Image document

“I Kept Browsing and Browsing, But Still Couldn’t Find the One”: Salient Factors and Challenges in Online Typeface Selection

 Y. Wayne Wu , Michael Gilbert , Elizabeth Churchill
17th 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

Middleware 2010

 Indranil Gupta , Cecilia Mascolo
Springer, LNCS-6452, 2010, Lecture Notes in Computer Science, 978-3-642-16954-0. ⟨10.1007/978-3-642-16955-7⟩
Books hal-01555803v1
Image document

Resource Provisioning Framework for MapReduce Jobs with Performance Goals

 Abhishek Verma , Ludmila Cherkasova , Roy H. Campbell
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.165-186, ⟨10.1007/978-3-642-25821-3_9⟩
Conference papers hal-01597764v1
Image document

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

 Lucian Bentea , Peter Csaba Ölveczky
21th 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 Languages

 Dave Clarke , Gul Agha
Springer, LNCS-6116, 2010, Lecture Notes in Computer Science, 978-3-642-13413-5. ⟨10.1007/978-3-642-13414-2⟩
Books hal-01555333v1
Image document

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

 Peter Csaba Ölveczky , Artur Boronat , José Meseguer
Joint 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

Network and Parallel Computing

 Marc Snir , Hai Jin , Hironori Kasahara , Mateo Valero , Feng Zhang , et al.
Springer 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
Image document

Message Passing Algorithm for the Generalized Assignment Problem

 Mindi Yuan , Chong Jiang , Shen Li , Wei Shen , Yannis Pavlidis , et al.
11th 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
Image document

Cooling Wet-Pad Fan Control System of Piggery Based on Zigbee

 Runtao Wang , Fang Yang , Ming Li , Lei Tian , Yu Zhang
5th 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
Image document

Distributed Security Policy Conformance

 Mirko Montanari , Ellick Chan , Kevin Larson , Wucherl Yoo , Roy H. Campbell
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.210-222, ⟨10.1007/978-3-642-21424-0_17⟩
Conference papers hal-01567586v1

Formal Techniques for Distributed Systems

 Holger Giese , Grigore Rosu
Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩
Books hal-01528737v1
Image document

Scoped Synchronization Constraints for Large Scale Actor Systems

 Peter Dinges , Gul Agha
14th 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
Image document

Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity

 Stephann Makri , Yi-Chun Chen , Dana Mckay , George Buchanan , Melissa Ocepek
17th 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

Data-Driven Process Discovery and Analysis

 Wil van Der Aalst , John Mylopoulos , Michael Rosemann , Michael J. Shaw , Clemens Szyperski , et al.
Springer, 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 Modeling

 Wil van Der Aalst , John Mylopoulos , Michael Rosemann , Michael J. Shaw , Clemens Szyperski , et al.
Springer, LNBIP-165, 2013, Lecture Notes in Business Information Processing, 978-3-642-41640-8. ⟨10.1007/978-3-642-41641-5⟩
Books hal-01474798v1
Image document

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

 Samira Tasharofi , Rajesh K. Karmani , Steven Lauterburg , Axel Legay , Darko Marinov , et al.
14th 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
Image document

Research on Regional Spatial Variability of Soil Moisture Based on GIS

 Yongcun Fan , Changli Zhang , Junlong Fang , Lei Tian
Third 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
Image document

Formalizing and Validating the P-Store Replicated Data Store in Maude

 Peter Csaba Ölveczky
23th 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
Image document

Open Source Vulnerability Notification

 Brandon Carlson , Kevin Leach , Darko Marinov , Meiyappan Nagappan , Atul Prakash
15th 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 Society

 Alain Bernard , Louis Rivest , Debasish Dutta
Springer, 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
Image document

Statistical Model Checking for Composite Actor Systems

 Jonas Eckhardt , Tobias Mühlbauer , José Meseguer , Martin Wirsing
21th 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
Image document

A Small Model Theorem for Rectangular Hybrid Automata Networks

 Taylor T. Johnson , Sayan Mitra
14th 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

Enterprise Interoperability

 Wil van Der Aalst , John Mylopoulos , Michael Rosemann , Michael J. Shaw , Clemens Szyperski , et al.
Springer, LNBIP-144, 2013, Lecture Notes in Business Information Processing, 978-3-642-36795-3. ⟨10.1007/978-3-642-36796-0⟩
Books hal-01474220v1
Image document

Conformance Testing of Boolean Programs with Multiple Faults

 Pavithra Prabhakar , Mahesh Viswanathan
14th 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
Image document

A Framework to Assess Risk of Illicit Trades Using Bayesian Belief Networks

 Rashid Anzoom , Rakesh Nagi , Chrysafis Vogiatzis
IFIP 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
Page :