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

Filter your results

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

Modelling Probabilistic Wireless Networks

 Andrea Cerone , Matthew Hennessy
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.135-151, ⟨10.1007/978-3-642-30793-5_9⟩
Conference papers hal-01528729v1
Image document

Self-Organised Routing for Road Networks

 Holger Prothmann , Sven Tomforde , Johannes Lyda , Jürgen Branke , Jörg Hähner , et al.
6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.48-59, ⟨10.1007/978-3-642-28583-7_5⟩
Conference papers hal-01527528v1
Image document

Data Hiding Techniques for Database Environments

 Heloise Pieterse , Martin Olivier
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.289-301, ⟨10.1007/978-3-642-33962-2_20⟩
Conference papers hal-01523715v1
Image document

Implementing Forensic Readiness Using Performance Monitoring Tools

 Franscois Van Staden , Hein Venter
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.261-270, ⟨10.1007/978-3-642-33962-2_18⟩
Conference papers hal-01523717v1
Image document

Formal Specification of the Kademlia and the Kad Routing Tables in Maude

 Isabel Pita , María-Inés Fernández-Camacho
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.231-247, ⟨10.1007/978-3-642-37635-1_14⟩
Conference papers hal-01485972v1
Image document

Impossible Differential Cryptanalysis of Reduced-Round LBlock

 Ferhat Karakoç , Hüseyin Demirci , A. Emre Harmanci
6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.179-188, ⟨10.1007/978-3-642-30955-7_16⟩
Conference papers hal-01534301v1
Image document

Energy Efficiency Gains Using VHOs in Heterogeneous Networks

 António Serrador , Luís M. Correia
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.52-62, ⟨10.1007/978-3-642-30039-4_7⟩
Conference papers hal-01533574v1
Image document

Competition in Access to Content

 Tania Jimenez , Yezekael Hayel , Eitan Altman
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.211-222, ⟨10.1007/978-3-642-30054-7_17⟩
Conference papers hal-01327908v1
Image document

Noninterference via Symbolic Execution

 Dimiter Milushev , Wim Beck , Dave Clarke
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.152-168, ⟨10.1007/978-3-642-30793-5_10⟩
Conference papers hal-01528732v1
Image document

A Virtual Training Tool for Giving Talks

 Oswald D. Kothgassner , Anna Felnhofer , Leon Beutl , Helmut Hlavacs , Mario Lehenbauer , et al.
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.53-66, ⟨10.1007/978-3-642-33542-6_5⟩
Conference papers hal-01556125v1
Image document

The ICOCOON Virtual Meeting Room: A Virtual Environment as a Support Tool for Multipoint Teleconference Systems

 Aljosha Demeulemeester , Katriina Kilpi , Shirley A. Elprama , Sammy Lievens , Charles-Frederik Hollemeersch , et al.
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.158-171, ⟨10.1007/978-3-642-33542-6_14⟩
Conference papers hal-01556163v1
Image document

Information Technology and the Efficiency of the Brazilian Judiciary System

 André Andrade , Luiz Antonio Joia
11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.126-136, ⟨10.1007/978-3-642-33489-4_11⟩
Conference papers hal-01543575v1
Image document

Path Selection and Adaptive Selection of Smart Antenna Transmission Schemes in Multi-hop Wireless Networks

 Muhammad Irfan Rafique , Thomas Bauschert
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.12-22, ⟨10.1007/978-3-642-32808-4_2⟩
Conference papers hal-01543148v1
Image document

Implementation and Evaluation of Coupled Congestion Control for Multipath TCP

 Régel González Usach , Mirja Kühlewind
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.173-182, ⟨10.1007/978-3-642-32808-4_16⟩
Conference papers hal-01543159v1
Image document

Enhancing Business APPification Using SMS Text Messages: Metrics, Strategies and Alternatives

 Mersini Paschou , Evangelos Sakkopoulos , Efrosini Sourla , Athanasios Tsakalidis
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.190-202, ⟨10.1007/978-3-642-32498-7_15⟩
Conference papers hal-01542441v1
Image document

Indexing and Search for Fast Music Identification

 Guang-Ho Cha
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.259-271, ⟨10.1007/978-3-642-32498-7_20⟩
Conference papers hal-01542447v1
Image document

Distributed Sampling Storage for Statistical Analysis of Massive Sensor Data

 Hiroshi Sato , Hisashi Kurasawa , Takeru Inoue , Motonori Nakamura , Hajime Matsumura , et al.
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.233-243, ⟨10.1007/978-3-642-32498-7_18⟩
Conference papers hal-01542469v1
Image document

Feature Selection on Handwriting Biometrics: Security Aspects of Artificial Forgeries

 Karl Kümmel , Tobias Scheidat , Claus Vielhauer , Jana Dittmann
13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.16-25, ⟨10.1007/978-3-642-32805-3_2⟩
Conference papers hal-01540894v1
Image document

The Instructional Design of a Web-Based Self-reflective Learning Portfolio for Skill Training

 Hung-Chang Lin , Yao-Hua Wang
9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.386-393, ⟨10.1007/978-3-642-35606-3_45⟩
Conference papers hal-01551359v1
Image document

Cognitive Agents for Microscopic Traffic Simulations in Virtual Environments

 Sven Seele , Rainer Herpers , Christian Bauckhage
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.318-325, ⟨10.1007/978-3-642-33542-6_27⟩
Conference papers hal-01556157v1
Image document

SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer

 Roberto Roverso , Sameh El-Ansary , Seif Haridi
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.29-43, ⟨10.1007/978-3-642-30054-7_3⟩
Conference papers hal-01531974v1
Image document

fAARS: A Platform for Location-Aware Trans-reality Games

 Lucio Gutierrez , Eleni Stroulia , Ioanis Nikolaidis
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.185-192, ⟨10.1007/978-3-642-33542-6_16⟩
Conference papers hal-01556160v1
Image document

The Social Maze: A Collaborative Game to Motivate MS Patients for Upper Limb Training

 Tom De Weyer , Karel Robert , Johanna Renny Octavia Hariandja , Geert Alders , Karin Coninx
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.476-479, ⟨10.1007/978-3-642-33542-6_57⟩
Conference papers hal-01556147v1
Image document

2nd Workshop on Game Development and Model-Driven Software Development

 Robert Walter , Maic Masuch , Mathias Funk
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.500-503, ⟨10.1007/978-3-642-33542-6_64⟩
Conference papers hal-01556120v1
Image document

MAP-numa: Access Patterns Used to Characterize the NUMA Memory Access Optimization Techniques and Algorithms

 Qiuming Luo , Chenjian Liu , Chang Kong , Ye Cai
9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.208-216, ⟨10.1007/978-3-642-35606-3_24⟩
Conference papers hal-01551378v1
Image document

CrowdMAC: A Crowdsourcing System for Mobile Access

 Ngoc Do , Cheng-Hsin Hsu , Nalini Venkatasubramanian
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.1-20, ⟨10.1007/978-3-642-35170-9_1⟩
Conference papers hal-01555555v1
Image document

A Scalable Inline Cluster Deduplication Framework for Big Data Protection

 Yinjin Fu , Hong Jiang , Nong Xiao
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.354-373, ⟨10.1007/978-3-642-35170-9_18⟩
Conference papers hal-01555548v1
Image document

Lessons Learned from Evaluating the Usability of Mobile Spreadsheet Applications

 Derek Flood , Rachel Harrison , Claudia Iacob
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.315-322, ⟨10.1007/978-3-642-34347-6_23⟩
Conference papers hal-01556830v1
Image document

A Fuzzy Reinforcement Learning Approach for Pre-Congestion Notification Based Admission Control

 Stylianos Georgoulas , Klaus Moessner , Alexis Mansour , Menelaos Pissarides , Panagiotis Spapis
6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.26-37, ⟨10.1007/978-3-642-30633-4_4⟩
Conference papers hal-01529796v1
Image document

On Finitary Functors and Their Presentations

 Jiří Adámek , Stefan Milius , Lawrence S. Moss
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩
Conference papers hal-01539879v1
Page :