Search - IFIP Open Digital Library Access content directly

Filter your results

17 results
Structure: Internal structure identifier : 379481
Page :
sorted by
Image document

Measure What Matters: A Dual Outcome Service Quality Model for Government Service Delivery

 Willem Pieterson , Cindy Weng
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.138-150, ⟨10.1007/978-3-030-57599-1_11⟩
Conference papers hal-03282778v1
Image document

What Do You See in the Cloud? Understanding the Cloud-Based User Experience through Practices

 John C. Tang , Jed R. Brubaker , Catherine C. Marshall
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.678-695, ⟨10.1007/978-3-642-40480-1_47⟩
Conference papers hal-01501781v1

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

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
Image document

Helping Users Sort Faster with Adaptive Machine Learning Recommendations

 Steven M. Drucker , Danyel Fisher , Sumit Basu
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.187-203, ⟨10.1007/978-3-642-23765-2_13⟩
Conference papers hal-01591827v1
Image document

Sharing Experiences over Video: Watching Video Programs together at a Distance

 Anna Macaranas , Gina Venolia , Kori Inkpen , John Tang
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.73-90, ⟨10.1007/978-3-642-40498-6_5⟩
Conference papers hal-01510557v1

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

The Story of Navision and Navision Stat

 Carina Sørensen , Michael Nielsen
4th History of Nordic Computing (HiNC4), Aug 2014, Copenhagen, Denmark. pp.139-146, ⟨10.1007/978-3-319-17145-6_15⟩
Conference papers hal-01301402v1
Image document

A Targeted Data Extraction System for Mobile Devices

 Sudhir Aggarwal , Gokila Dorai , Umit Karabiyik , Tathagata Mukherjee , Nicholas Guerra , et al.
15th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2019, Orlando, FL, United States. pp.73-100, ⟨10.1007/978-3-030-28752-8_5⟩
Conference papers hal-02534613v1
Image document

The Future of Distributed Groups and Their Use of Social Media

 Mary Czerwinski
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.2-2, ⟨10.1007/978-3-642-23774-4_2⟩
Conference papers hal-01590539v1
Image document

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

 Kiran Lakhotia , Nikolai Tillmann , Mark Harman , Jonathan Halleux
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩
Conference papers hal-01055253v1
Image document

The Costs and Benefits of Combining Gaze and Hand Gestures for Remote Interaction

 Yanxia Zhang , Sophie Stellmach , Abigail Sellen , Andrew Blake
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.570-577, ⟨10.1007/978-3-319-22698-9_39⟩
Conference papers hal-01609399v1
Image document

Formal Analysis of a Distributed Algorithm for Tracking Progress

 Martín Abadi , Frank Mcsherry , Derek G. Murray , Thomas L. Rodeheffer
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.5-19, ⟨10.1007/978-3-642-38592-6_2⟩
Conference papers hal-01515239v1
Image document

Fmeter: Extracting Indexable Low-Level System Signatures by Counting Kernel Function Calls

 Tudor Marian , Hakim Weatherspoon , Ki-Suh Lee , Abhishek Sagar
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.81-100, ⟨10.1007/978-3-642-35170-9_5⟩
Conference papers hal-01555553v1

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

Abstract Privacy Policy Framework: Addressing Privacy Problems in SOA

 Laurent Bussard , Ulrich Pinsdorf
International Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.104-118, ⟨10.1007/978-3-642-27585-2_9⟩
Conference papers hal-01481510v1
Image document

Primal Infon Logic with Conjunctions as Sets

 Carlos Cotrini , Yuri Gurevich , Ori Lahav , Artem Melentyev
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩
Conference papers hal-01402046v1
Page :