Filter your results
- 533
- 24
- 533
- 532
- 119
- 1
- 37
- 40
- 493
- 533
- 5
- 3
- 3
- 3
- 3
- 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
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
|
Towards Combined Functional and Non-functional Semantic Service Discovery5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.102-117, ⟨10.1007/978-3-319-44482-6_7⟩
Conference papers
hal-01638595v1
|
||
|
|
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
|
||
|
|
Digital Transformation Within the Emobility Market–Learnings and Insights from Early Market Development3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.23-42, ⟨10.1007/978-3-319-66553-5_2⟩
Conference papers
hal-01691203v1
|
||
|
|
An Interference-Free Programming Model for Network Objects18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.227-244, ⟨10.1007/978-3-319-39519-7_14⟩
Conference papers
hal-01631712v1
|
||
|
|
Bringing Complex Event Processing into Multitree Modelling of Sensors16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers
hal-01434795v1
|
||
|
|
A Game Interpretation of Retractable Contracts18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.18-34, ⟨10.1007/978-3-319-39519-7_2⟩
Conference papers
hal-01631714v1
|
||
|
|
Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed Systems16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Greece. pp.32-46, ⟨10.1007/978-3-319-39577-7_3⟩
Conference papers
hal-01301230v1
|
||
|
|
PAN – Distributed Real-Time Complex Event Detection in Multiple Data Streams16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.189-195, ⟨10.1007/978-3-319-39577-7_15⟩
Conference papers
hal-01434794v1
|
||
|
|
Exploring XBRL-Based Reporting System: A Conceptual Framework for System Adoption and Implementation15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.305-316, ⟨10.1007/978-3-319-45234-0_28⟩
Conference papers
hal-01702161v1
|
||
|
|
System Design and Analysis of UAV-Assisted BLE Wireless Sensor Systems14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.284-296, ⟨10.1007/978-3-319-33936-8_22⟩
Conference papers
hal-01434877v1
|
||
|
|
Ransomware Steals Your Phone. Formal Methods Rescue It36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
Conference papers
hal-01432919v1
|
||
|
|
Visualization Model for Monitoring of Computer Networks Security Based on the Analogue of Voronoi DiagramsInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.141-157, ⟨10.1007/978-3-319-45507-5_10⟩
Conference papers
hal-01635003v1
|
||
|
|
A Threat to Friendship Privacy in FacebookInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.96-105, ⟨10.1007/978-3-319-45507-5_7⟩
Conference papers
hal-01635021v1
|
||
|
|
Mindtraining: Playful Interaction Techniques for People with Dementia15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.223-228, ⟨10.1007/978-3-319-46100-7_21⟩
Conference papers
hal-01640286v1
|
||
|
|
Multipath TCP Proxy: Unshackling Network Nodes from Today’s End-to-End Connection Principle14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.55-65, ⟨10.1007/978-3-319-33936-8_5⟩
Conference papers
hal-01434867v1
|
||
|
|
Towards a Research Framework of Computer-Supported Organizational Participation8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.17-28, ⟨10.1007/978-3-319-45074-2_2⟩
Conference papers
hal-01637230v1
|
||
|
|
Guaranteeing Correctness of Bulk Operations in Outsourced Databases30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.37-51, ⟨10.1007/978-3-319-41483-6_3⟩
Conference papers
hal-01633666v1
|
||
|
|
Enhancing Image Forgery Detection Using 2-D Cross Products12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.297-310, ⟨10.1007/978-3-319-46279-0_15⟩
Conference papers
hal-01758681v1
|
||
|
|
Reconstructing Tabbed Browser Sessions Using Metadata Associations12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.165-188, ⟨10.1007/978-3-319-46279-0_9⟩
Conference papers
hal-01758688v1
|
||
|
|
Lawvere Categories as Composed PROPs13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers
hal-01446031v1
|
||
|
|
Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.30-41, ⟨10.1007/978-3-319-44902-9_3⟩
Conference papers
hal-01647719v1
|
||
|
|
Passive Expert-Sourcing for Policy Making in the European Union8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.162-175, ⟨10.1007/978-3-319-45074-2_13⟩
Conference papers
hal-01637231v1
|
||
|
|
Declarative Elasticity in ABS5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers
hal-01638585v1
|
||
|
|
Representatives of Rough Regions for Generating Classification Rules15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.79-90, ⟨10.1007/978-3-319-45378-1_8⟩
Conference papers
hal-01637465v1
|
||
|
|
A Fault-Tolerant Authenticated Key-Conference Agreement Protocol with Forward Secrecy15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.647-660, ⟨10.1007/978-3-319-45378-1_56⟩
Conference papers
hal-01637470v1
|
||
|
|
Blocking and Deadlocking Phenomena in Two-Server Tandem Configuration with Optional Feedback – Modeling and Parameter Sensitivity Investigation15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.441-452, ⟨10.1007/978-3-319-45378-1_39⟩
Conference papers
hal-01637494v1
|
||
|
|
Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.741-751, ⟨10.1007/978-3-319-45378-1_64⟩
Conference papers
hal-01637501v1
|
||
|
|
An Electronic Document for Distributed Electronic Services15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.617-630, ⟨10.1007/978-3-319-45378-1_54⟩
Conference papers
hal-01637502v1
|
||
|
|
Attribute Reduction Based on MapReduce Model and Discernibility Measure15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.55-66, ⟨10.1007/978-3-319-45378-1_6⟩
Conference papers
hal-01637503v1
|
||
|
|
UTTOS: A Tool for Testing UEFI Code in OS Environment28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.218-224, ⟨10.1007/978-3-319-47443-4_14⟩
Conference papers
hal-01643726v1
|