Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

745 results
Deposit type : Fulltext
Page :
sorted by
Image document

Ambient Clouds: Reactive Asynchronous Collections for Mobile Ad Hoc Network Applications

 Kevin Pinte , Andoni Lombide Carreton , Elisa Gonzalez Boix , Wolfgang De Meuter
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.85-98, ⟨10.1007/978-3-642-38541-4_7⟩
Conference papers hal-01489467v1
Image document

Towards an Adaptive Publish/Subscribe Approach Supporting Transitions

 Björn Richerzhagen , Ralf Steinmetz
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.84-87, ⟨10.1007/978-3-642-38998-6_10⟩
Conference papers hal-01489956v1
Image document

ByteSTM: Virtual Machine-Level Java Software Transactional Memory

 Mohamed Mohamedin , Binoy Ravindran , Roberto Palmieri
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.166-180, ⟨10.1007/978-3-642-38493-6_12⟩
Conference papers hal-01486025v1
Image document

Stochastic Process Algebra and Stability Analysis of Collective Systems

 Luca Bortolussi , Diego Latella , Mieke Massink
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.1-15, ⟨10.1007/978-3-642-38493-6_1⟩
Conference papers hal-01486031v1
Image document

Pattern Matching and Bisimulation

 Thomas Given-Wilson , Daniele Gorla
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.60-74, ⟨10.1007/978-3-642-38493-6_5⟩
Conference papers hal-01486035v1
Image document

On Secure Embedded Token Design

 Simon Hoerder , Kimmo Järvinen , Daniel Page
7th International Workshop on Information Security THeory and Practice (WISTP), May 2013, Heraklion, Greece. pp.112-128, ⟨10.1007/978-3-642-38530-8_8⟩
Conference papers hal-01485937v1
Image document

The Relative Disagreement Model of Opinion Dynamics: Where Do Extremists Come From?

 Michael Meadows , Dave Cliff
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.66-77, ⟨10.1007/978-3-642-54140-7_6⟩
Conference papers hal-01291499v1
Image document

Not All Paths Lead to Rome: Analysing the Network of Sister Cities

 Andreas Kaltenbrunner , Pablo Aragón , David Laniado , Yana Volkovich
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.151-156, ⟨10.1007/978-3-642-54140-7_14⟩
Conference papers hal-01291512v1
Image document

Practical Immutable Signature Bouquets (PISB) for Authentication and Integrity in Outsourced Databases

 Attila A. Yavuz
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.179-194, ⟨10.1007/978-3-642-39256-6_12⟩
Conference papers hal-01490704v1
Image document

A Model for Trust-Based Access Control and Delegation in Mobile Clouds

 Indrajit Ray , Dieudonne Mulamba , Indrakshi Ray , Keesook J. Han
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.242-257, ⟨10.1007/978-3-642-39256-6_16⟩
Conference papers hal-01490708v1
Image document

How to Support (Political) Decisions? Presentation of a Micro-simulation Model to Assess the Implications of EU-wide Tax Reforms

 Stefan Hohls
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.111-122, ⟨10.1007/978-3-642-40358-3_10⟩
Conference papers hal-01490899v1
Image document

You Say "Yes", I Say “No”: Capturing and Measuring ‘Public Opinion’ through Citizens’ Conversation Online (on the Russian-Language LiveJornal Blogging Platform)

 Yuri Misnikov
5th International Conference on Electronic Participation (ePart), Sep 2013, Koblenz, Germany. pp.134-146, ⟨10.1007/978-3-642-40346-0_12⟩
Conference papers hal-01491258v1
Image document

Mobility Matters: Identifying Cognitive Demands That Are Sensitive to Orientation

 G. Michael Poor , Guy Zimmerman , Dale S. Klopfer , Samuel D. Jaffee , Laura Marie Leventhal , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.193-210, ⟨10.1007/978-3-642-40483-2_14⟩
Conference papers hal-01497436v1
Image document

Systematic Integration of Solution Elements: How Does Digital Creativity Support Change Group Dynamics?

 Florian Perteneder , Susann Hahnwald , Michael Haller , Kurt Gaubinger
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.547-565, ⟨10.1007/978-3-642-40483-2_39⟩
Conference papers hal-01497461v1
Image document

Eye Location and Eye State Detection in Facial Images Using Circular Hough Transform

 Ömer Faruk Söylemez , Burhan Ergen
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.141-147, ⟨10.1007/978-3-642-40925-7_14⟩
Conference papers hal-01496060v1
Image document

The Removal of False Detections from Foreground Regions Extracted Using Adaptive Background Modelling for a Visual Surveillance System

 Dariusz Frejlichowski , Katarzyna Gościewska , Paweł Forczmański , Adam Nowosielski , Radosław Hofman
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.253-264, ⟨10.1007/978-3-642-40925-7_24⟩
Conference papers hal-01496072v1
Image document

Modified Moment Method Estimator for the Shape Parameter of Generalized Gaussian Distribution for a Small Sample Size

 Robert Krupiński
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.420-429, ⟨10.1007/978-3-642-40925-7_39⟩
Conference papers hal-01496087v1
Image document

HTTP Traffic Offload in Cellular Networks via WLAN Mesh Enabled Device to Device Communication and Distributed Caching

 Chris Drechsler , Marco Porsch , Gerd Windisch
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.298-303, ⟨10.1007/978-3-642-40552-5_29⟩
Conference papers hal-01497028v1
Image document

Test-Enhanced Life Cycle for Composed IoT-Based Services

 Daniel Kuemper , Eike Steffen Reetz , Daniel Hölker , Ralf Tönjes
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.314-319, ⟨10.1007/978-3-642-40552-5_32⟩
Conference papers hal-01497032v1
Image document

Semi-supervised Learning Based Aesthetic Classifier for Short Animations Embedded in Web Pages

 Dipak Bansal , Samit Bhattacharya
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.728-745, ⟨10.1007/978-3-642-40483-2_51⟩
Conference papers hal-01497475v1
Image document

Informing the Design of an Authoring Tool for Developing Social Stories

 Aurora Constantin , Helen Pain , Annalu Waller
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.546-553, ⟨10.1007/978-3-642-40480-1_38⟩
Conference papers hal-01501771v1
Image document

Reducing Driver Task Load and Promoting Sociability through an Affective Intelligent Driving Agent (AIDA)

 Kenton Williams , Cynthia Breazeal
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.619-626, ⟨10.1007/978-3-642-40498-6_53⟩
Conference papers hal-01510515v1
Image document

A Generic Bayesian Belief Model for Similar Cyber Crimes

 Hayson Tse , Kam-Pui Chow , Michael Kwan
9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.243-255, ⟨10.1007/978-3-642-41148-9_17⟩
Conference papers hal-01460609v1
Image document

Evaluating Direct Manipulation Operations for Constraint-Based Layout

 Clemens Zeidler , Christof Lutteroth , Wolfgang Stuerzlinger , Gerald Weber
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.513-529, ⟨10.1007/978-3-642-40480-1_35⟩
Conference papers hal-01501768v1
Image document

Stakeholder Salience Changes in an e-Government Implementation Project

 Karin Axelsson , Ulf Melin , Ida Lindgren
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.237-249, ⟨10.1007/978-3-642-40358-3_20⟩
Conference papers hal-01490970v1
Image document

A Case Study in Formal Verification Using Multiple Explicit Heaps

 Wojciech Mostowski
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.20-34, ⟨10.1007/978-3-642-38592-6_3⟩
Conference papers hal-01515237v1
Image document

On the Security of an Authenticated Group Key Transfer Protocol Based on Secret Sharing

 Ruxandra F. Olimid
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.399-408, ⟨10.1007/978-3-642-36818-9_44⟩
Conference papers hal-01480199v1
Image document

Fair Private Set Intersection with a Semi-trusted Arbiter

 Changyu Dong , Liqun Chen , Jan Camenisch , Giovanni Russello
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.128-144, ⟨10.1007/978-3-642-39256-6_9⟩
Conference papers hal-01490721v1
Image document

Partition-Based Hardware Transactional Memory for Many-Core Processors

 Yi Liu , Xinwei Zhang , Yonghui Wang , Depei Qian , Yali Chen , et al.
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.308-321, ⟨10.1007/978-3-642-40820-5_26⟩
Conference papers hal-01513751v1
Image document

Web Accessibility in Africa: A Study of Three African Domains

 Daniel Costa , Nádia Fernandes , Sofia Neves , Carlos Duarte , Raquel Hijón-Neira , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.331-338, ⟨10.1007/978-3-642-40483-2_23⟩
Conference papers hal-01497445v1
Page :