Search - IFIP Open Digital Library Access content directly

Filter your results

62 results
Structure: Internal structure identifier : 300856
Page :
sorted by
Image document

Enterprise Coherence with GEA – A 15 year Co-evolution of Practice and Theory

 Henderik A. Proper , Roel Wagter , Joost Bekel
14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.3-18, ⟨10.1007/978-3-030-91279-6_1⟩
Conference papers hal-04323846v1
Image document

Coalgebraic Methods in Computer Science

 Daniela Petrişan , Jurriaan Rot
Springer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩
Books hal-03232344v1
Image document

Artificial Intelligence Application for Crude Distillation Unit: An Overview

 Václav Miklas , Michal Touš , Vítězslav Máša , Sin Yong Teng
IFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KMES), Aug 2021, Montreal, QC, Canada. pp.156-168, ⟨10.1007/978-3-030-96592-1_12⟩
Conference papers hal-04120814v1
Image document

Towards Enterprise-Grade Tool Support for DEMO

 Mark Mulder , Henderik A. Proper
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.90-105, ⟨10.1007/978-3-030-63479-7_7⟩
Conference papers hal-03434641v1
Image document

Privacy as Enabler of Innovation

 Daniel Bachlechner , Marc Van Lieshout , Tjerk Timan
14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.3-16, ⟨10.1007/978-3-030-42504-3_1⟩
Conference papers hal-03378973v1
Image document

De Finetti’s Construction as a Categorical Limit

 Bart Jacobs , Sam Staton
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.90-111, ⟨10.1007/978-3-030-57201-3_6⟩
Conference papers hal-03232351v1
Image document

GDPR and the Concept of Risk:

 Katerina Demetzou
Eleni Kosta; Jo Pierson; Daniel Slamanig; Simone Fischer-Hübner; Stephan Krenn. Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data : 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers, AICT-547, Springer International Publishing, pp.137-154, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-16743-1. ⟨10.1007/978-3-030-16744-8_10⟩
Book sections hal-02271667v1
Image document

Reflections on Using an Architecture Model for Matching Existing Applications to a Radical Business Requirements Change: A Case Study

 Debbie Tarenskeen , Stijn Hoppenbrouwers , Rogier van De Wetering
11th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Oct 2018, Vienna, Austria. pp.383-393, ⟨10.1007/978-3-030-02302-7_25⟩
Conference papers hal-02156475v1
Image document

Steps and Traces

 Bart Jacobs , Paul Levy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩
Conference papers hal-02044644v1
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

 Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers hal-02044641v1
Image document

Bisimilarity of Open Terms in Stream GSOS

 Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1
Image document

n-Complete Test Suites for IOCO

 Petra van Den Bos , Ramon Janssen , Joshua Moerman
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.91-107, ⟨10.1007/978-3-319-67549-7_6⟩
Conference papers hal-01678988v1
Image document

Scaffolding Stakeholder-Centric Enterprise Model Articulation

 Stefan Oppl , Stijn Hoppenbrouwers
9th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2016, Skövde, Sweden. pp.133-147, ⟨10.1007/978-3-319-48393-1_10⟩
Conference papers hal-01653512v1
Image document

Vitalizing Semiotics

 Janos J. Sarbo , Jessica H. Yang
17th International Conference on Informatics and Semiotics in Organisations (ICISO), Aug 2016, Campinas, Brazil. pp.25-34, ⟨10.1007/978-3-319-42102-5_3⟩
Conference papers hal-01646560v1
Image document

Scheduling Games for Concurrent Systems

 Kasper Dokter , Sung-Shik Jongmans , Farhad Arbab
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers hal-01631719v1
Image document

Report on the Workshop on Assessing the Maturity of Privacy Enhancing Technologies

 Marit Hansen , Jaap-Henk Hoepman , Meiko Jensen , Stefan Schiffner
David Aspinall; Jan Camenisch; Marit Hansen; Simone Fischer-Hübner; Charles Raab. Privacy and Identity Management. Time for a Revolution? : 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers, AICT-476, Springer International Publishing, pp.97-110, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-41762-2. ⟨10.1007/978-3-319-41763-9_7⟩
Book sections hal-01619747v1
Image document

RAM: Rapid Alignment Method

 Ruben A. Muijrers , Jasper Woudenberg , Lejla Batina
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.266-282, ⟨10.1007/978-3-642-27257-8_17⟩
Conference papers hal-01596293v1
Image document

Mobile Identity Management

 Jaap-Henk Hoepman
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.253-253, ⟨10.1007/978-3-642-24712-5_27⟩
Conference papers hal-01596192v1
Image document

Scheduler-Dependent Inter-cell Interference and Its Impact on LTE Uplink Performance at Flow Level

 D. C. Dimitrova , G. Heijenk , J. Berg , S. Yankov
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.285-296, ⟨10.1007/978-3-642-21560-5_24⟩
Conference papers hal-01583652v1
Image document

Grounded System Dynamics: A Procedure for Underpinning System Dynamics with a Domain Modeling Method

 F. Tulinayo , P. Bommel , H. Proper
4th Practice of Enterprise Modeling (PoEM), Nov 2011, Oslo, Norway. pp.112-125, ⟨10.1007/978-3-642-24849-8_9⟩
Conference papers hal-01572392v1
Image document

Agile Service Development: A Rule-Based Method Engineering Approach

 Stijn Hoppenbrouwers , Martijn Zoet , Johan Versendaal , Inge van De Weerd
4th Working Conference on Method Engineering (ME), Apr 2011, Lisbon, Portugal. pp.184-189, ⟨10.1007/978-3-642-19997-4_17⟩
Conference papers hal-01562893v1
Image document

Trace Semantics via Determinization

 Bart Jacobs , Alexandra Silva , Ana Sokolova
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers hal-01539887v1
Image document

Avoiding Man-in-the-Middle Attacks When Verifying Public Terminals

 Gergely Alpár , Jaap-Henk Hoepman
7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.261-273, ⟨10.1007/978-3-642-31668-5_20⟩
Conference papers hal-01517599v1
Image document

Challenges of Identifying Communities with Shared Semantics in Enterprise Modeling

 Dirk van Der Linden , Stijn Hoppenbrouwers
5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. pp.160-171, ⟨10.1007/978-3-642-34549-4_12⟩
Conference papers hal-01484401v1
Image document

Enterprise Architecture Enhanced with Responsibility to Manage Access Rights - Case Study in an EU Institution

 Michaël Petit , Christophe Feltus , François Vernadat
5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. pp.132-147, ⟨10.1007/978-3-642-34549-4_10⟩
Conference papers hal-01484400v1
Image document

Asking Questions about Asking Questions in Collaborative Enterprise Modelling

 Stijn Hoppenbrouwers
5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. pp.16-30, ⟨10.1007/978-3-642-34549-4_2⟩
Conference papers hal-01484386v1
Image document

Active Learning of Extended Finite State Machines

 Frits Vaandrager
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.5-7, ⟨10.1007/978-3-642-34691-0_2⟩
Conference papers hal-01482424v1
Image document

An Empirical Evaluation of Design Decision Concepts in Enterprise Architecture

 Georgios Plataniotis , Sybren De Kinderen , Dirk van Der Linden , Danny Greefhorst , Henderik A. Proper
6th The Practice of Entrprise Modeling (PoEM), Nov 2013, Riga, Latvia. pp.24-38, ⟨10.1007/978-3-642-41641-5_3⟩
Conference papers hal-01474795v1
Image document

A Qualitative Research Approach to Obtain Insight in Business Process Modelling Methods in Practice

 Céline Décosse , Wolfgang A. Molnar , Henderik A. Proper
6th The Practice of Entrprise Modeling (PoEM), Nov 2013, Riga, Latvia. pp.161-175, ⟨10.1007/978-3-642-41641-5_12⟩
Conference papers hal-01474781v1
Image document

Efficient Selective Disclosure on Smart Cards Using Idemix

 Pim Vullers , Gergely Alpár
3rd Policies and Research in Identity Management (IDMAN), Apr 2013, London, United Kingdom. pp.53-67, ⟨10.1007/978-3-642-37282-7_5⟩
Conference papers hal-01470503v1
Page :