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

Filter your results

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

ZigZag: a Middleware for Service Discovery in Future Internet

 Preston Rodrigues , Yérom-David Bromberg , Laurent Réveillère , Daniel Négru
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.208-221, ⟨10.1007/978-3-642-30823-9_19⟩
Conference papers hal-00689779v1
Image document

XSS-Dec: A Hybrid Solution to Mitigate Cross-Site Scripting Attacks

 Smitha Sundareswaran , Anna Cinzia Squicciarini
26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.223-238, ⟨10.1007/978-3-642-31540-4_17⟩
Conference papers hal-01534769v1
Image document

XML Conversion of the Windows Registry for Forensic Processing and Distribution

 Alex Nelson
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.51-65, ⟨10.1007/978-3-642-33962-2_4⟩
Conference papers hal-01523700v1
Image document

Writing Real-Time .Net Games in Casanova

 Giuseppe Maggiore , Pieter Spronck , Renzo Orsini , Michele Bugliesi , Enrico Steffinlongo , et al.
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.341-348, ⟨10.1007/978-3-642-33542-6_30⟩
Conference papers hal-01556148v1
Image document

Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

 Michele Boreale , Michela Paolini
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.72-86, ⟨10.1007/978-3-642-33475-7_6⟩
Conference papers hal-01556211v1
Image document

Workshop on: Exploring the Challenges of Ethics, Privacy and Trust in Serious Gaming

 Rod Mccall , Lynne Baillie , Franziska Boehm , Mike Just
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.584-585, ⟨10.1007/978-3-642-33542-6_77⟩
Conference papers hal-01556150v1
Image document

White Spaces in UHF Band: Catalonia Case Study and Impact of the Digital Dividend

 Albert Domingo , Boris Bellalta , Miquel Oliver
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.33-40, ⟨10.1007/978-3-642-32808-4_4⟩
Conference papers hal-01543168v1
Image document

Weightless Swarm Algorithm (WSA) for Dynamic Optimization Problems

 T. O. Ting , Ka Lok Man , Sheng-Uei Guan , Mohamed Nayel , Kaiyu Wan
9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.508-515, ⟨10.1007/978-3-642-35606-3_60⟩
Conference papers hal-01551365v1
Image document

Weighted Energy Efficient Cluster Based Routing for Wireless Sensor Networks

 Soumyabrata Saha , Rituparna Chaki
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.361-373, ⟨10.1007/978-3-642-33260-9_31⟩
Conference papers hal-01551721v1
Image document

Web-Based Graphic Environment to Support Programming in the Beginning Learning Process

 Carlos J. Costa , Manuela Aparicio , Carlos Cordeiro
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.413-416, ⟨10.1007/978-3-642-33542-6_41⟩
Conference papers hal-01556178v1
Image document

Web Accessibility for Visually Impaired People: Requirements and Design Issues

 Mexhid Ferati , Bahtijar Vogel , Arianit Kurti , Bujar Raufi , David Salvador Astals
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.79-96, ⟨10.1007/978-3-319-45916-5_6⟩
Conference papers hal-01631308v1
Image document

Weak Bisimulations for Coalgebras over Ordered Functors

 Tomasz Brengos
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.87-103, ⟨10.1007/978-3-642-33475-7_7⟩
Conference papers hal-01556223v1
Image document

VScope: Middleware for Troubleshooting Time-Sensitive Data Center Applications

 Chengwei Wang , Infantdani Abel Rayan , Greg Eisenhauer , Karsten Schwan , Vanish Talwar , et al.
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.121-141, ⟨10.1007/978-3-642-35170-9_7⟩
Conference papers hal-01555552v1
Image document

Visualizing Sensor Data: Towards an Experiment and Validation Platform

 Claudia Rodriguez , Anne-Marie Déry-Pinna
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.352-359, ⟨10.1007/978-3-642-34347-6_27⟩
Conference papers hal-01556831v1
Image document

Visualizing Information in Digital Forensics

 Grant Osborne , Hannah Thinyane , Jill Slay
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.35-47, ⟨10.1007/978-3-642-33962-2_3⟩
Conference papers hal-01523711v1
Image document

Visualization of Complex Networks Dynamics: Case Study

 Ivan Zelinka , Donald Davendra , Lenka Skanderova
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.145-150, ⟨10.1007/978-3-642-30039-4_19⟩
Conference papers hal-01533583v1
Image document

Verification of Timed Erlang Programs Using McErlang

 Clara Benac Earle , Lars-Åke Fredlund
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.251-267, ⟨10.1007/978-3-642-30793-5_16⟩
Conference papers hal-01528738v1
Image document

Verification of Ad Hoc Networks with Node and Communication Failures

 Giorgio Delzanno , Arnaud Sangnier , Gianluigi Zavattaro
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.235-250
Conference papers hal-00909367v1
Image document

Veracity, Plausibility, and Reputation

 Dieter Gollmann
6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.20-28, ⟨10.1007/978-3-642-30955-7_3⟩
Conference papers hal-01534317v1
Image document

Value-Based Design for Gamifying Daily Activities

 Mizuki Sakamoto , Tatsuo Nakajima , Todorka Alexandrova
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.421-424, ⟨10.1007/978-3-642-33542-6_43⟩
Conference papers hal-01556130v1
Image document

Validity of Router Responses for IP Aliases Resolution

 Santiago Garcia-Jimenez , Eduardo Magaña , Mikel Izal , Daniel Morató
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.358-369, ⟨10.1007/978-3-642-30045-5_27⟩
Conference papers hal-01531119v1
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

Validation of Rules Used in Foxy Peer-to-Peer Network Investigations

 Ricci Ieong , Kam-Pui Chow , Pierre Lai
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.231-245, ⟨10.1007/978-3-642-33962-2_16⟩
Conference papers hal-01523719v1
Image document

Using PCI Pass-Through for GPU Virtualization with CUDA

 Chao-Tung Yang , Hsien-Yi Wang , Yu-Tso Liu
9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.445-452, ⟨10.1007/978-3-642-35606-3_53⟩
Conference papers hal-01551356v1
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

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems

 Mariam Lahami , Moez Krichen , Mariam Bouchakwa , Mohamed Jmaiel
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.103-118, ⟨10.1007/978-3-642-34691-0_9⟩
Conference papers hal-01482414v1
Image document

Using Internal Depth to Aid Stereoscopic Image Splicing Detection

 Mark-Anthony Fouche , Martin Olivier
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.319-333, ⟨10.1007/978-3-642-33962-2_22⟩
Conference papers hal-01523699v1
Image document

Using Extended Raster File for Real Time Traffic Information Mining

 Michal Radecký , Jan Martinovič , Dušan Fedorčák , Radek Tomis , Ivo Vondrák
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.416-427, ⟨10.1007/978-3-642-33260-9_36⟩
Conference papers hal-01551735v1
Image document

Using Coordinated Actors to Model Families of Distributed Systems

 Ramtin Khosravi , Hamideh Sabouri
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.74-88, ⟨10.1007/978-3-642-30829-1_6⟩
Conference papers hal-01529595v1
Image document

Using Centrality Metrics to Predict Peer Cooperation in Live Streaming Applications

 Glauber D. Gonçalves , Anna Guimarães , Alex Borges Vieira , Ítalo Cunha , Jussara M. Almeida
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.84-96, ⟨10.1007/978-3-642-30054-7_7⟩
Conference papers hal-01531962v1
Page :