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

Filter your results

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

Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic

 Martin Lange , Etienne Lozes
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.90-103, ⟨10.1007/978-3-662-44602-7_8⟩
Conference papers hal-01402031v1
Image document

Attribute-Aware Relationship-Based Access Control for Online Social Networks

 Yuan Cheng , Jaehong Park , Ravi Sandhu
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.292-306, ⟨10.1007/978-3-662-43936-4_19⟩
Conference papers hal-01284863v1
Image document

Adaptive Decision Making in Microsimulations of Urban Traffic in Virtual Environments

 Fabian Krueger , Sven Seele , Rainer Herpers , Peter Becker , Christian Bauckhage
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.220-222, ⟨10.1007/978-3-662-45212-7_28⟩
Conference papers hal-01408552v1
Image document

LPM: Layered Policy Management for Software-Defined Networks

 Wonkyu Han , Hongxin Hu , Gail-Joon Ahn
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.356-363, ⟨10.1007/978-3-662-43936-4_23⟩
Conference papers hal-01284871v1
Image document

Cooperation across Multiple Healthcare Clinics on the Cloud

 Neil Donnelly , Kate Irving , Mark Roantree
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.82-88, ⟨10.1007/978-3-662-43352-2_7⟩
Conference papers hal-01287734v1
Image document

Personal Identification in the Web Using Electronic Identity Cards and a Personal Identity Provider

 André Zúquete , Hélder Gomes , Cláudio Teixeira
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.160-169, ⟨10.1007/978-3-662-43826-8_12⟩
Conference papers hal-01400938v1
Image document

Privacy-Enhancing Proxy Signatures from Non-interactive Anonymous Credentials

 David Derler , Christian Hanser , Daniel Slamanig
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.49-65, ⟨10.1007/978-3-662-43936-4_4⟩
Conference papers hal-01284842v1
Image document

Message Passing Algorithm for the Generalized Assignment Problem

 Mindi Yuan , Chong Jiang , Shen Li , Wei Shen , Yannis Pavlidis , et al.
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.423-434, ⟨10.1007/978-3-662-44917-2_35⟩
Conference papers hal-01403111v1
Image document

Toward a Data-Driven Performance-Guided Urban Decision-Support Environment

 Neda Ghiassi , Stefan Glawischnig , Ulrich Pont , Ardeshir Mahdavi
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.96-107, ⟨10.1007/978-3-642-55032-4_10⟩
Conference papers hal-01397149v1
Image document

A Calculus of Self-stabilising Computational Fields

 Mirko Viroli , Ferruccio Damiani
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers hal-01290075v1
Image document

A Tool for Evaluating, Adapting and Extending Game Progression Planning for Diverse Game Genres

 Katharine Neil , Denise De Vries , Stéphane Natkin
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.60-65, ⟨10.1007/978-3-662-45212-7_8⟩
Conference papers hal-01408505v1
Image document

Bridging the Digital Divide at the Regional Level? The Effect of Regional and National Policies on Broadband Access in Europe’s Regions

 Pau Palop García , Basanta Thapa , Björn Niehaves
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.218-229, ⟨10.1007/978-3-662-44426-9_18⟩
Conference papers hal-01401744v1
Image document

Randomly Partitioned Encryption for Cloud Databases

 Tahmineh Sanamrad , Lucas Braun , Donald Kossmann , Ramarathnam Venkatesan
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.307-323, ⟨10.1007/978-3-662-43936-4_20⟩
Conference papers hal-01284865v1
Image document

On Minimizing the Size of Encrypted Databases

 Giovanni Di Crescenzo , David Shallcross
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.364-372, ⟨10.1007/978-3-662-43936-4_24⟩
Conference papers hal-01284872v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

The Stochastic Quality Calculus

 Kebin Zeng , Flemming Nielson , Hanne Riis Nielson
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.179-193, ⟨10.1007/978-3-662-43376-8_12⟩
Conference papers hal-01290076v1
Image document

Change Detection System for the Maintenance of Automated Testing

 Miroslav Bures
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.192-197, ⟨10.1007/978-3-662-44857-1_15⟩
Conference papers hal-01405287v1
Image document

Threshold Based Auto Scaling of Virtual Machines in Cloud Environment

 M. K. Mohan Murthy , H. A. Sanjay , Jumnal Anand
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.247-256, ⟨10.1007/978-3-662-44917-2_21⟩
Conference papers hal-01403090v1
Image document

Fault-Tolerant Storage Servers for the Databases of Redundant Web Servers in a Computing Grid

 Minhwan Ok
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.591-594, ⟨10.1007/978-3-662-44917-2_60⟩
Conference papers hal-01403156v1
Image document

DLBer: A Dynamic Load Balancing Algorithm for the Event-Driven Clusters

 Mingming Sun , Changlong Li , Xuehai Zhou , Kun Lu , Hang Zhuang
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.608-611, ⟨10.1007/978-3-662-44917-2_64⟩
Conference papers hal-01403163v1
Image document

Aspects of Human-Centred Design in HCI with Older Adults: Experiences from the Field

 Ana De Barros , Sílvia Rêgo , João Antunes
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.235-242, ⟨10.1007/978-3-662-44811-3_14⟩
Conference papers hal-01405079v1
Image document

User Centered Inclusive Design for People with Dyslexia: Experiences from a Project on Accessibility

 Dominik Rupprecht , Rainer Blum , Birgit Bomsdorf
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.307-314, ⟨10.1007/978-3-662-44811-3_23⟩
Conference papers hal-01405091v1
Image document

Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices

 Vasily Desnitsky , Igor Kotenko
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.194-210, ⟨10.1007/978-3-319-10975-6_15⟩
Conference papers hal-01403995v1
Image document

PrivacyFrost2: A Efficient Data Anonymization Tool Based on Scoring Functions

 Shinsaku Kiyomoto , Yutaka Miyake
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.211-225, ⟨10.1007/978-3-319-10975-6_16⟩
Conference papers hal-01403997v1
Image document

Developing Emergent Play in Collaborative Online Experiences

 Damian Hills
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.117-124, ⟨10.1007/978-3-662-45212-7_15⟩
Conference papers hal-01408512v1
Image document

ARENA - Dynamic Run-Time Map Generation for Multiplayer Shooters

 Anand Bhojan , Hong Wei Wong
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.149-158, ⟨10.1007/978-3-662-45212-7_19⟩
Conference papers hal-01408516v1
Image document

Analyzing Stakeholders in Complex E-Government Projects: Towards a Stakeholder Interaction Model

 Vanessa Greger , Dian Balta , Petra Wolf , Helmut Krcmar
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.194-205, ⟨10.1007/978-3-662-44426-9_16⟩
Conference papers hal-01401741v1
Image document

TOSCA in a Nutshell: Promises and Perspectives

 Antonio Brogi , Jacopo Soldani , Pengwei Wang
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.171-186, ⟨10.1007/978-3-662-44879-3_13⟩
Conference papers hal-01318292v1
Image document

A Review of Security Requirements Engineering Methods with Respect to Risk Analysis and Model-Driven Engineering

 Denisse Muñante , Vanea Chiprianov , Laurent Gallon , Philippe Aniorte
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.79-93, ⟨10.1007/978-3-319-10975-6_6⟩
Conference papers hal-01403987v1
Image document

An Implementation of a Paper Based Authentication Using HC2D Barcode and Digital Signature

 Puchong Subpratatsavee , Pramote Kuacharoen
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.592-601, ⟨10.1007/978-3-662-45237-0_54⟩
Conference papers hal-01405654v1
Page :