Filter your results
- 773
- 23
- 773
- 773
- 119
- 2
- 2
- 1
- 20
- 753
- 773
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
|
Test-Data Generation for Testing Parallel Real-Time Systems27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.211-223, ⟨10.1007/978-3-319-25945-1_13⟩
Conference papers
hal-01470169v1
|
||
|
|
Loop Freedom in AODVv235th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers
hal-01767329v1
|
||
|
|
Compliance and Subtyping in Timed Session Types35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers
hal-01767334v1
|
||
|
|
Task Allocation Between UX Specialists and Developers in Agile Software Development Projects15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.27-44, ⟨10.1007/978-3-319-22698-9_3⟩
Conference papers
hal-01609397v1
|
||
|
|
HoverSpace15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.259-277, ⟨10.1007/978-3-319-22698-9_17⟩
Conference papers
hal-01609426v1
|
||
|
|
Improving Spatial Awareness for Human Trajectory Visualization in Space-Time Cubes15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.327-334, ⟨10.1007/978-3-319-22723-8_26⟩
Conference papers
hal-01610845v1
|
||
|
|
Yasmine’s Adventures: An Interactive Urban Experience Exploring the Sociocultural Potential of Digital Entertainment14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.343-356, ⟨10.1007/978-3-319-24589-8_26⟩
Conference papers
hal-01758472v1
|
||
|
|
Device-Specific Traffic Characterization for Root Cause Analysis in Cellular Networks7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.64-78, ⟨10.1007/978-3-319-17172-2_5⟩
Conference papers
hal-01411181v1
|
||
|
|
The Online Tracking Horde: A View from Passive Measurements7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.111-125, ⟨10.1007/978-3-319-17172-2_8⟩
Conference papers
hal-01411188v1
|
||
|
|
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers
hal-01767321v1
|
||
|
|
Towards Information-Centric Wireless Multi-hop Communication13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.367-380, ⟨10.1007/978-3-319-22572-2_27⟩
Conference papers
hal-01728808v1
|
||
|
|
Graph Databases: Their Power and Limitations14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.58-69, ⟨10.1007/978-3-319-24369-6_5⟩
Conference papers
hal-01444505v1
|
||
|
|
Simple Displaying Method for Genealogy with Assisted Reproductive Technologies14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.204-215, ⟨10.1007/978-3-319-24369-6_17⟩
Conference papers
hal-01444466v1
|
||
|
|
Optimal Input Signal Design for a Second Order Dynamic System Identification Subject to D-Efficiency Constraints14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.351-362, ⟨10.1007/978-3-319-24369-6_29⟩
Conference papers
hal-01444478v1
|
||
|
|
Verification of Mutual Authentication Protocol for MobInfoSec System14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.461-474, ⟨10.1007/978-3-319-24369-6_38⟩
Conference papers
hal-01444488v1
|
||
|
|
AQoPA: Automated Quality of Protection Analysis Framework for Complex Systems14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.475-486, ⟨10.1007/978-3-319-24369-6_39⟩
Conference papers
hal-01444489v1
|
||
|
|
Shape-Change for Zoomable TUIs: Opportunities and Limits of a Resizable Slider15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.349-366, ⟨10.1007/978-3-319-22701-6_27⟩
Conference papers
hal-01240726v1
|
||
|
|
Simple Isolation for an Actor Abstract Machine35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers
hal-01767336v1
|
||
|
|
Sentiment Analysis of Products’ Reviews Containing English and Hindi Texts14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.416-422, ⟨10.1007/978-3-319-25013-7_33⟩
Conference papers
hal-01448058v1
|
||
|
|
Pedal Tanks14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.539-544, ⟨10.1007/978-3-319-24589-8_53⟩
Conference papers
hal-01758455v1
|
||
|
|
Workshop: AI and Creativity in Entertainment14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.553-555, ⟨10.1007/978-3-319-24589-8_55⟩
Conference papers
hal-01758471v1
|
||
|
|
Serious Games for Cognitive Training in Ambient Assisted Living Environments – A Technology Acceptance Perspective15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.453-471, ⟨10.1007/978-3-319-22701-6_34⟩
Conference papers
hal-01599655v1
|
||
|
|
Tag Systems and the Complexity of Simple Programs21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.11-16, ⟨10.1007/978-3-662-47221-7_2⟩
Conference papers
hal-01442479v1
|
||
|
|
Towards Continuous Collaboration on Civic Tech Projects: Use Cases of a Goal Sharing System Based on Linked Open Data7th International Conference on Electronic Participation (ePart), Aug 2015, Thessaloniki, Greece. pp.81-92, ⟨10.1007/978-3-319-22500-5_7⟩
Conference papers
hal-01587631v1
|
||
|
|
Game-Based Interactive Campaign Using Motion-Sensing Technology14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.195-208, ⟨10.1007/978-3-319-24589-8_15⟩
Conference papers
hal-01758408v1
|
||
|
|
EmotionBike: A Study of Provoking Emotions in Cycling Exergames14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.155-168, ⟨10.1007/978-3-319-24589-8_12⟩
Conference papers
hal-01758406v1
|
||
|
|
Expiration and Revocation of Keys for Attribute-Based Signatures29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.153-169, ⟨10.1007/978-3-319-20810-7_10⟩
Conference papers
hal-01745835v1
|
||
|
|
Visibility Graphs of Anchor Polygons1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.72-89, ⟨10.1007/978-3-319-28678-5_6⟩
Conference papers
hal-01446265v1
|
||
|
|
Perceptive Media – Adaptive Storytelling for Digital Broadcast15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.586-589, ⟨10.1007/978-3-319-22723-8_67⟩
Conference papers
hal-01610855v1
|
||
|
|
A Secure Multicast Key Agreement Scheme3rd International Conference on Information and Communication Technology-EurAsia (ICT-EURASIA) and 9th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2015, Daejon, South Korea. pp.275-281, ⟨10.1007/978-3-319-24315-3_28⟩
Conference papers
hal-01466244v1
|