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

Filter your results

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

A Distributed Signaling Fast Mobile IPv6 Scheme for Next Generation Heterogeneous IP Networks

 Mohtasim Abbassi , Shahbaz Khan , M. Rahman
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.43-51, ⟨10.1007/978-3-642-30039-4_6⟩
Conference papers hal-01533576v1
Image document

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

 Samson Abramsky , Jonathan Zvesper
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩
Conference papers hal-01539890v1
Image document

Managing Urban Waste Collection through Timed Automata Based Fuzzy Cognitive Maps

 Giovanni Acampora , Vincenzo Loia , Autilia Vitiello
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.501-515, ⟨10.1007/978-3-642-32498-7_38⟩
Conference papers hal-01542464v1
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
Image document

Inter-domain Coordination Models

 Eleni Agiatzidou , Costas Courcoubetis , Olivier Dugeon , Finn-Tore Johansen , George D. Stamoulis
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.113-120, ⟨10.1007/978-3-642-30039-4_14⟩
Conference papers hal-01533587v1
Image document

Recent Developments in Low-Level Software Security

 Pieter Agten , Nick Nikiforakis , Raoul Strackx , Willem De Groef , Frank Piessens
6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.1-16, ⟨10.1007/978-3-642-30955-7_1⟩
Conference papers hal-01534300v1
Image document

Dempster-Shafer Theory to Identify Insider Attacker in Wireless Sensor Network

 Muhammad Ahmed , Xu Huang , Dharmendra Sharma
9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.94-100, ⟨10.1007/978-3-642-35606-3_11⟩
Conference papers hal-01551336v1
Image document

Using Online Carbon Calculators for Participation in Local Climate Initiatives

 Georg Aichholzer , Doris Allhutter , Stefan Strauss
4th International Conference on Electronic Participation (ePart), Sep 2012, Kristiansand, Norway. pp.85-96, ⟨10.1007/978-3-642-33250-0_8⟩
Conference papers hal-01541477v1
Image document

Integrating Query Context and User Context in an Information Retrieval Model Based on Expanded Language Modeling

 Rachid Aknouche , Ounas Asfari , Fadila Bentayeb , Omar Boussaid
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.244-258, ⟨10.1007/978-3-642-32498-7_19⟩
Conference papers hal-00911860v1
Image document

Heuristic Resource Search in a Self-Organised Distributed Multi Agent System

 Muntasir Al-Asfoor , Brendan Neville , Maria Fasli
6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.84-89, ⟨10.1007/978-3-642-28583-7_8⟩
Conference papers hal-01527538v1
Image document

Forensic Tracking and Mobility Prediction in Vehicular Networks

 Saif Al-Kuwari , Stephen Wolthusen
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.303-317, ⟨10.1007/978-3-642-33962-2_21⟩
Conference papers hal-01523712v1
Image document

Building Understanding of Smart City Initiatives

 Suha Alawadhi , Armando Aldama-Nalda , Hafedh Chourabi , J. Ramon Gil-Garcia , Sofia Leung , et al.
11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.40-53, ⟨10.1007/978-3-642-33489-4_4⟩
Conference papers hal-01543596v1
Image document

A Secure Distributed Video Surveillance System Based on Portable Devices

 Pietro Albano , Andrea Bruno , Bruno Carpentieri , Aniello Castiglione , Arcangelo Castiglione , et al.
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.403-415, ⟨10.1007/978-3-642-32498-7_30⟩
Conference papers hal-01542458v1
Image document

Rigid and Non-rigid Shape Matching for Mechanical Components Retrieval

 Andrea Albarelli , Filippo Bergamasco , Andrea Torsello
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.168-179, ⟨10.1007/978-3-642-33260-9_14⟩
Conference papers hal-01551736v1
Image document

Analysis of May-Happen-in-Parallel in Concurrent Objects

 Elvira Albert , Antonio E. Flores-Montoya , Samir Genaim
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.35-51, ⟨10.1007/978-3-642-30793-5_3⟩
Conference papers hal-01528735v1
Image document

E-Consultations: A Review of Current Practice and a Proposal for Opening Up the Process

 Steffen Albrecht
4th International Conference on Electronic Participation (ePart), Sep 2012, Kristiansand, Norway. pp.13-24, ⟨10.1007/978-3-642-33250-0_2⟩
Conference papers hal-01541478v1
Image document

Estimating File-Spread in Delay Tolerant Networks under Two-Hop Routing

 Arshad Ali , Eitan Altman , Tijani Chahed , Dieter Fiems , Manoj Kumar Panda , et al.
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.277-290, ⟨10.1007/978-3-642-30054-7_22⟩
Conference papers hal-00726802v1
Image document

Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study

 Iyas Alloush , Vanea Chiprianov , Yvon Kermarrec , Siegfried Rouvrais
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
Conference papers hal-00739604v1
Image document

Validation of XML Documents with SWRL

 Jesús M. Almendros-Jiménez
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.44-57, ⟨10.1007/978-3-642-32498-7_4⟩
Conference papers hal-01542457v1
Image document

A Framework for Evaluating Citizens’ Expectations and Satisfaction toward Continued Intention to Use E-Government Services

 Mubarak Alruwaie , Ramzi El-Haddadeh , Vishanth Weerakkody
11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.273-286, ⟨10.1007/978-3-642-33489-4_23⟩
Conference papers hal-01543576v1
Image document

In Which Content to Specialize? A Game Theoretic Analysis

 Eitan Altman
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.121-125, ⟨10.1007/978-3-642-30039-4_15⟩
Conference papers hal-01533579v1
Image document

Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing

 Frederico Alvares de Oliveira Jr. , Remi Sharrock , Thomas Ledoux
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
Conference papers hal-00682914v1
Image document

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

 Bogdan Aman , Gabriel Ciobanu
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.122-136, ⟨10.1007/978-3-642-30829-1_9⟩
Conference papers hal-01529591v1
Image document

Behavioural Equivalences over Migrating Processes with Timers

 Bogdan Aman , Gabriel Ciobanu , Maciej Koutny
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.52-66, ⟨10.1007/978-3-642-30793-5_4⟩
Conference papers hal-01528734v1
Image document

On the problem of revenue sharing in multi-domain federations

 Isabel Amigo , Pablo Belzarena , Sandrine Vaton
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.252-264, ⟨10.1007/978-3-642-30054-7_20⟩
Conference papers hal-00725646v1
Image document

Adaptive Routing in Wireless Sensor Networks for Fire Fighting

 Chunlei An , Yunqi Luo , Andreas Timm-Giel
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.275-285, ⟨10.1007/978-3-642-32808-4_25⟩
Conference papers hal-01543160v1
Image document

Static Single Information Form for Abstract Compilation

 Davide Ancona , Giovanni Lagorio
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.10-27, ⟨10.1007/978-3-642-33475-7_2⟩
Conference papers hal-01556212v1
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

An Open Framework for Smartphone Evidence Acquisition

 Lamine Aouad , Tahar Kechadi , Justin Trentesaux , Nhien-An Le-Khac
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.159-166, ⟨10.1007/978-3-642-33962-2_11⟩
Conference papers hal-01523698v1
Image document

Design and Evaluation of Parametrizable Multi-genre Game Mechanics

 Daniel Apken , Hendrik Landwehr , Marc Herrlich , Markus Krause , Dennis Paul , et al.
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.45-52, ⟨10.1007/978-3-642-33542-6_4⟩
Conference papers hal-01556140v1
Page :