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

Filter your results

572 results
Page :
sorted by
Image document

Using Drones for Virtual Tourism

 David Mirk , Helmut Hlavacs
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.238-240, ⟨10.1007/978-3-662-45212-7_34⟩
Conference papers hal-01408561v1
Image document

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation

 Kent Fagerland Simonsen , Lars Michael Kristensen
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.104-118, ⟨10.1007/978-3-662-43352-2_9⟩
Conference papers hal-01287735v1
Image document

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems

 Alessio Mansutti , Marino Miculan , Marco Peressotti
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.201-208, ⟨10.1007/978-3-662-43352-2_16⟩
Conference papers hal-01287744v1
Image document

On the Modelling of the Computer Security Impact on the Reputation Systems

 Bogdan Ksiezopolski , Adam Wierzbicki , Damian Rusinek
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.526-531, ⟨10.1007/978-3-642-55032-4_54⟩
Conference papers hal-01397344v1
Image document

Schema Reconstruction in Database Forensics

 Oluwasola Mary Adedayo , Martin Olivier
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.101-116, ⟨10.1007/978-3-662-44952-3_8⟩
Conference papers hal-01393764v1
Image document

Smartphone Message Sentiment Analysis

 Panagiotis Andriotis , Atsuhiro Takasu , Theo Tryfonas
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.253-265, ⟨10.1007/978-3-662-44952-3_17⟩
Conference papers hal-01393775v1
Image document

Conceptualising Trust in E-Participation Contexts

 Sabrina Scherer , Maria A. Wimmer
6th International Conference on Electronic Participation (ePart), Sep 2014, Dublin, Ireland. pp.64-77, ⟨10.1007/978-3-662-44914-1_6⟩
Conference papers hal-01396954v1
Image document

New Ways of Deliberating Online: An Empirical Comparison of Network and Threaded Interfaces for Online Discussion

 Anna De Liddo , Simon Buckingham Shum
6th International Conference on Electronic Participation (ePart), Sep 2014, Dublin, Ireland. pp.90-101, ⟨10.1007/978-3-662-44914-1_8⟩
Conference papers hal-01396957v1
Image document

Engaging Citizens in Policy Issues: Multidimensional Approach, Evidence and Lessons Learned

 Elena Sánchez-Nielsen , Deirdre Lee , Eleni Panopoulou , Simon Delakorda , Gyula Takács
6th International Conference on Electronic Participation (ePart), Sep 2014, Dublin, Ireland. pp.102-113, ⟨10.1007/978-3-662-44914-1_9⟩
Conference papers hal-01396964v1
Image document

Formalizing Information Flow Control in a Model-Driven Approach

 Kurt Stenzel , Kuzman Katkalov , Marian Borek , Wolfgang Reif
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.456-461, ⟨10.1007/978-3-642-55032-4_46⟩
Conference papers hal-01397341v1
Image document

Enhancing the Use of Digital Model with Team-Based Learning Approach in Science Teaching

 Bens Pardamean , Teddy Suparyanto , . Suyanta , Eryadi Masli , Jerome Donovan
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.267-276, ⟨10.1007/978-3-642-55032-4_26⟩
Conference papers hal-01397217v1
Image document

Aggregation of Network Protocol Data Near Its Source

 Marcel Fourné , Kevin Stegemann , Dominique Petersen , Norbert Pohlmann
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.482-491, ⟨10.1007/978-3-642-55032-4_49⟩
Conference papers hal-01397258v1
Image document

High-Quality Reversible Data Hiding Approach Based on Evaluating Multiple Prediction Methods

 Cheng-Hsing Yang , Kuan-Liang Liu , Chun-Hao Chang , Yi-Jhong Jhang
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.622-632, ⟨10.1007/978-3-642-55032-4_64⟩
Conference papers hal-01397279v1
Image document

Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata

 Barbara König , Sebastian Küpper
8th 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
Image document

Group Participation Game Strategy for Resource Allocation in Cloud Computing

 Weifeng Sun , Danchuang Zhang , Ning Zhang , Qingqing Zhang , Tie Qiu
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.294-305, ⟨10.1007/978-3-662-44917-2_25⟩
Conference papers hal-01403096v1
Image document

Generic Weakest Precondition Semantics from Monads Enriched with Order

 Ichiro Hasuo
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers hal-01408750v1
Image document

Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions

 Hiroki Morizumi
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.104-110, ⟨10.1007/978-3-662-44602-7_9⟩
Conference papers hal-01402033v1
Image document

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences

 Uraz Cengiz Türker , Tonguç Ünlüyurt , Hüsnü Yenigün
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.32-47, ⟨10.1007/978-3-662-44857-1_3⟩
Conference papers hal-01405273v1
Image document

Performance Prediction Model and Analysis for Compute-Intensive Tasks on GPUs

 Khondker S. Hasan , Amlan Chatterjee , Sridhar Radhakrishnan , John K. Antonio
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.612-617, ⟨10.1007/978-3-662-44917-2_65⟩
Conference papers hal-01403164v1
Image document

A Federated Cloud Identity Broker-Model for Enhanced Privacy via Proxy Re-Encryption

 Bernd Zwattendorfer , Daniel Slamanig , Klaus Stranacher , Felix Hörandner
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.92-103, ⟨10.1007/978-3-662-44885-4_8⟩
Conference papers hal-01404190v1
Image document

Using Model Driven Security Approaches in Web Application Development

 Christoph Hochreiner , Zhendong Ma , Peter Kieseberg , Sebastian Schrittwieser , Edgar Weippl
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.419-431, ⟨10.1007/978-3-642-55032-4_42⟩
Conference papers hal-01397248v1

Coalgebraic Methods in Computer Science

 Marcello M. Bonsangue
Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7
Books hal-01408765v1
Image document

Spheres and Lenses: Activity-Based Scenario / Narrative Approach for Design and Evaluation of Entertainment through Engagement

 Tim Marsh , Bonnie Nardi
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.42-51, ⟨10.1007/978-3-662-45212-7_6⟩
Conference papers hal-01408503v1
Image document

Collaboratively Solving the Traveling Salesman Problem with Limited Disclosure

 Yuan Hong , Jaideep Vaidya , Haibing Lu , Lingyu Wang
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.179-194, ⟨10.1007/978-3-662-43936-4_12⟩
Conference papers hal-01284854v1
Image document

Policy, Process, People and Public Data

 Ann-Sofie Hellberg
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.265-276, ⟨10.1007/978-3-662-44426-9_22⟩
Conference papers hal-01401750v1
Image document

Decentralized Bootstrap for Social Overlay Networks

 Rodolphe Marques , André Zúquete
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.140-143, ⟨10.1007/978-3-662-44885-4_13⟩
Conference papers hal-01404205v1
Image document

Combination of Self Organizing Maps and Growing Neural Gas

 Lukáš Vojáček , Pavla Dráždilová , Jiří Dvorský
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.100-111, ⟨10.1007/978-3-662-45237-0_11⟩
Conference papers hal-01405567v1
Image document

Loss-Rate Driven Network Coding for Transmission Control

 Chaoyuan Chiang , Yihjia Tsai
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.49-60, ⟨10.1007/978-3-662-44917-2_5⟩
Conference papers hal-01403064v1
Image document

Automatic Data Layout Transformation for Heterogeneous Many-Core Systems

 Ying-Yu Tseng , Yu-Hao Huang , Bo-Cheng Charles Lai , Jiun-Liang Lin
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.208-219, ⟨10.1007/978-3-662-44917-2_18⟩
Conference papers hal-01403085v1
Image document

Resource Prediction for Inter-cloud Broker

 Mohammad Aazam , Eui-Nam Huh
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.559-562, ⟨10.1007/978-3-662-44917-2_52⟩
Conference papers hal-01403142v1
Page :