Filter your results
- 77
- 6
- 75
- 6
- 2
- 83
- 18
- 2
- 9
- 6
- 3
- 1
- 16
- 9
- 4
- 8
- 12
- 4
- 6
- 2
- 1
- 83
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
|
A Logic on Subobjects and Recognizability6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.197-212, ⟨10.1007/978-3-642-15240-5_15⟩
Conference papers
hal-01054459v1
|
||
|
Augmenting Reputation-based Trust Metrics with Rumor-like Dissemination of Reputation Information25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.136-147, ⟨10.1007/978-3-642-15257-3_13⟩
Conference papers
hal-01054521v1
|
||
|
Problem-Based Consideration of Privacy-Relevant Domain KnowledgeMarit Hansen; Jaap-Henk Hoepman; Ronald Leenes; Diane Whitehouse. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.150-164, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_12⟩
Book sections
hal-01276068v1
|
||
|
A Comparative Analysis of Selected Enterprise Modeling Approaches7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.148-163, ⟨10.1007/978-3-662-45501-2_11⟩
Conference papers
hal-01281995v1
|
||
|
The Practice of Enterprise ModelingSpringer, Lecture Notes in Business Information Processing (LNBIP-197), 2014, 978-3-662-45501-2. ⟨10.1007/978-3-662-45501-2⟩
Books
hal-01282042v1
|
||
|
Analysis of Real-Life Working Processes, Competencies and Operational Fields for the Usage in Vocational IT Education - Results of an Empirical Study Based on Job OffersIFIP Conference on Information Technology in Educational Management (ITEM) and IFIP Conference on Key Competencies for Educating ICT Professionals (KCICTP), Jul 2014, Potsdam, Germany. pp.62-67, ⟨10.1007/978-3-662-45770-2_7⟩
Conference papers
hal-01342682v1
|
||
|
Wholesale Power to Hydrogen: Adaptive Trading Approaches in a Smart Grid Ecosystem4th IFIP International Conference on Artificial Intelligence in Theory and Practice (AI 2015), Oct 2015, Daejeon, South Korea. pp.75-82, ⟨10.1007/978-3-319-25261-2_7⟩
Conference papers
hal-01383947v1
|
||
|
Termination Analysis for Graph Transformation Systems8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.179-194, ⟨10.1007/978-3-662-44602-7_15⟩
Conference papers
hal-01402041v1
|
||
|
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.311-325, ⟨10.1007/978-3-662-44602-7_24⟩
Conference papers
hal-01402080v1
|
||
|
Towards Developing Secure Software Using Problem-Oriented Security PatternsInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.45-62, ⟨10.1007/978-3-319-10975-6_4⟩
Conference papers
hal-01403985v1
|
||
|
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.168-188, ⟨10.1007/978-3-662-44124-4_10⟩
Conference papers
hal-01408759v1
|
||
|
Enhancing Business Process Models with Trustworthiness Requirements10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. pp.33-51, ⟨10.1007/978-3-319-41354-9_3⟩
Conference papers
hal-01438347v1
|
||
|
Supporting Coordinated Maintenance of System Trustworthiness and User Trust at Runtime10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. pp.96-112, ⟨10.1007/978-3-319-41354-9_7⟩
Conference papers
hal-01438351v1
|
||
|
The Concepts of Decision Making: An Analysis of Classical Approaches and Avenues for the Field of Enterprise Modeling8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.306-321, ⟨10.1007/978-3-319-25897-3_20⟩
Conference papers
hal-01442258v1
|
||
|
Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.283-292, ⟨10.1007/978-3-642-38853-8_26⟩
Conference papers
hal-01466684v1
|
||
|
Design-Opportunities and Limitations on Additive Manufacturing Determined by a Suitable Test-Specimen6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.138-152, ⟨10.1007/978-3-642-41329-2_15⟩
Conference papers
hal-01485808v1
|
||
|
Mechanical Properties of Laser Beam Melting Components Depending on Various Process Errors6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.153-166, ⟨10.1007/978-3-642-41329-2_16⟩
Conference papers
hal-01485809v1
|
||
|
Trustworthy Software Development14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.233-247, ⟨10.1007/978-3-642-40779-6_23⟩
Conference papers
hal-01492828v1
|
||
|
Extending Mobile Interfaces with External Screens14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.722-729, ⟨10.1007/978-3-642-40480-1_50⟩
Conference papers
hal-01501784v1
|
||
|
MoCoShoP: Supporting Mobile and Collaborative Shopping and Planning of Interiors14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.756-763, ⟨10.1007/978-3-642-40480-1_53⟩
Conference papers
hal-01501787v1
|
||
|
BinCam: Designing for Engagement with Facebook for Behavior Change14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.99-115, ⟨10.1007/978-3-642-40480-1_7⟩
Conference papers
hal-01501791v1
|
||
|
PointerPhone: Using Mobile Phones for Direct Pointing Interactions with Remote Displays14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.18-35, ⟨10.1007/978-3-642-40477-1_2⟩
Conference papers
hal-01504904v1
|
||
|
Combining Goal-Oriented and Problem-Oriented Requirements Engineering Methods1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.178-194
Conference papers
hal-01506766v1
|
||
|
A Method for Re-using Existing ITIL Processes for Creating an ISO 27001 ISMS Process Applied to a High Availability Video Conferencing Cloud Scenario1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.224-239
Conference papers
hal-01506775v1
|
||
|
A Framework for Combining Problem Frames and Goal Models to Support Context Analysis during Requirements Engineering1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.272-288
Conference papers
hal-01506779v1
|
||
|
Adding Vibrotactile Feedback to Large Interactive Surfaces14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.507-514, ⟨10.1007/978-3-642-40498-6_39⟩
Conference papers
hal-01510549v1
|
||
|
On the Evolution of Component-based Software4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
Conference papers
inria-00431436v1
|
||
|
A Foundation for Requirements Analysis of Privacy Preserving SoftwareInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.93-107, ⟨10.1007/978-3-642-32498-7_8⟩
Conference papers
hal-01542436v1
|
||
|
Ontology-Based Identification of Research Gaps and Immature Research AreasInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-642-32498-7_1⟩
Conference papers
hal-01542443v1
|
||
|
Game Design for Older Adults: Effects of Age-Related Changes on Structural Elements of Digital Games11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.235-242, ⟨10.1007/978-3-642-33542-6_20⟩
Conference papers
hal-01556159v1
|