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

Filter your results

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

FDTM: Block Level Data Migration Policy in Tiered Storage System

 Xiaonan Zhao , Zhanhuai Li , Leijie Zeng
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.76-90, ⟨10.1007/978-3-642-15672-4_8⟩
Conference papers hal-01054955v1
Image document

Predicting Disk Scheduling Performance with Virtual Machines

 Robert Geist , Zachary H. Jones , James Westall
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.61-72, ⟨10.1007/978-3-642-25575-5_6⟩
Conference papers hal-01586905v1
Image document

Modelling Railway Interlocking Tables Using Coloured Petri Nets

 Somsak Vanit-Anunchai
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.137-151, ⟨10.1007/978-3-642-13414-2_10⟩
Conference papers hal-01054630v1
Image document

Bidirectional Range Extension for TCAM-Based Packet Classi cation

 Yan Sun , Min Sik Kim
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.351-361, ⟨10.1007/978-3-642-12963-6_28⟩
Conference papers hal-01059111v1
Image document

An Autonomic Testing Framework for IPv6 Configuration Protocols

 Sheila Becker , Humberto Abdelnur , Radu State , Thomas Engel
4th International Conference on Autonomous Infrastructure, Management and Security - AIMS 2010, University of Zurich, Jun 2010, Zurich, Switzerland. pp.65-76, ⟨10.1007/978-3-642-13986-4_7⟩
Conference papers inria-00546171v1
Image document

Enforcing Request Integrity in Web Applications

 Karthick Jayaraman , Grzegorz Lewandowski , Paul G. Talaga , Steve J. Chapin
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.225-240, ⟨10.1007/978-3-642-13739-6_15⟩
Conference papers hal-01056686v1
Image document

Understanding Privacy Risk of Publishing Decision Trees

 Zutao Zhu , Wenliang Du
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.33-48, ⟨10.1007/978-3-642-13739-6_3⟩
Conference papers hal-01056670v1
Image document

Increasing Functional Coverage by Inductive Testing: A Case Study

 Neil Walkinshaw , Kirill Bogdanov , John Derrick , Javier Paris
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers hal-01055254v1
Image document

Using Gis Tools to Support E_Participation - A Systematic Evaluation

 Euripidis Loukis , Alexander Xenakis , Rob Peters , Yannis Charalabidis
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.197-210, ⟨10.1007/978-3-642-15158-3_17⟩
Conference papers hal-01054839v1
Image document

Online Gaming Traffic Generator for Reproducing Gamer Behavior

 Kwangsik Shin , Jinhyuk Kim , Kangmin Sohn , Changjoon Park , Sangbang Choi
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.160-170, ⟨10.1007/978-3-642-15399-0_15⟩
Conference papers hal-01055646v1
Image document

Compositional Construction of Real-Time Dataflow Networks

 Stephanie Kemper
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.92-106, ⟨10.1007/978-3-642-13414-2_7⟩
Conference papers hal-01054621v1
Image document

Cultural Computing - How can technology contribute the spiritual aspect of our communication?

 Naoko Tosa
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.232-239, ⟨10.1007/978-3-642-15399-0_22⟩
Conference papers hal-01058990v1
Image document

A Logic of Privacy

 Steve Barker , Valerio Genovese
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.17-32, ⟨10.1007/978-3-642-13739-6_2⟩
Conference papers hal-01056671v1
Image document

Success of Government E-Service Delivery: Does Satisfaction Matter?

 Parmita Saha , Atanu Nath , Esmail Salehi-Sangari
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.204-215, ⟨10.1007/978-3-642-14799-9_18⟩
Conference papers hal-01059177v1
Image document

Methods for Efficient Development of Task-Based Applications

 Vaclav Slovacek
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.206-213, ⟨10.1007/978-3-642-16488-0_18⟩
Conference papers hal-01055202v1
Image document

Alternating Simulation and IOCO

 Margus Veanes , Nikolaj Bjørner
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.47-62, ⟨10.1007/978-3-642-16573-3_5⟩
Conference papers hal-01055244v1
Image document

Test Data Generation for Programs with Quantified First-Order Logic Specifications

 Christoph D. Gladisch
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.158-173, ⟨10.1007/978-3-642-16573-3_12⟩
Conference papers hal-01055252v1
Image document

A Flow Scheduler Architecture

 Dinil Mon Divakaran , Giovanna Carofiglio , Eitan Altman , Pascale Vicat-Blanc Primet
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
Conference papers hal-01056318v1
Image document

Efficient Format-Compliant Encryption of Regular Languages: Block-Based Cycle-Walking

 Thomas Stütz , Andreas Uhl
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.81-92, ⟨10.1007/978-3-642-13241-4_9⟩
Conference papers hal-01056365v1
Image document

On Force-Based Placement of Distributed Services within a Substrate Network

 Laurie Lallemand , Andreas Reifert
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.65-75, ⟨10.1007/978-3-642-13971-0_7⟩
Conference papers hal-01056480v1
Image document

ICT Diffusion in an Aging Society: A Scenario Analysis

 Enrico Ferro , Brunella Caroleo , Marco Cantamessa , Maurizio Leo
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.263-274, ⟨10.1007/978-3-642-14799-9_23⟩
Conference papers hal-01056580v1
Image document

Researching Multipath TCP Adoption

 Henna Warma , Heikki Hämmäinen
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.77-80, ⟨10.1007/978-3-642-13986-4_8⟩
Conference papers hal-01056623v1
Image document

OMAN - A Management Architecture for P2P Service Overlay Networks

 Adriano Fiorese , Paulo Simões , Fernando Boavida
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.14-25, ⟨10.1007/978-3-642-13986-4_3⟩
Conference papers hal-01056627v1
Image document

Detecting Spam Bots in Online Social Networking Sites: A Machine Learning Approach

 Alex Hai Wang
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.335-342, ⟨10.1007/978-3-642-13739-6_25⟩
Conference papers hal-01056675v1
Image document

Modelling Dynamic Trust with Property Based Attestation in Trusted Platforms

 Aarthi Nagarajan , Vijay Varadharajan
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.257-272, ⟨10.1007/978-3-642-13739-6_17⟩
Conference papers hal-01056684v1
Image document

On Efficient Models for Model Checking Message-Passing Distributed Protocols

 Péter Bokor , Marco Serafini , Neeraj Suri
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.216-223, ⟨10.1007/978-3-642-13464-7_17⟩
Conference papers hal-01055152v1
Image document

Political Deliberation in the Blogosphere: The Case of the 2009 Portuguese Elections

 Rui Pedro Lourenço
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.115-125, ⟨10.1007/978-3-642-15158-3_10⟩
Conference papers hal-01054844v1
Image document

Semantic Web Standards and Ontologies for Legislative Drafting Support

 Tommaso Agnoloni , Daniela Tiscornia
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.184-196, ⟨10.1007/978-3-642-15158-3_16⟩
Conference papers hal-01054840v1
Image document

A Regional Model for E-Participation in the EU: Evaluation and Lessons Learned from VoicE

 Sabrina Scherer , Maria A. Wimmer
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.162-173, ⟨10.1007/978-3-642-15158-3_14⟩
Conference papers hal-01054841v1
Image document

Interactive Manipulation Model of Group of Individual Bodies for VR Cooking System

 Atsushi Morii , Daisuke Yamamoto , Kenji Funahashi
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.484-486, ⟨10.1007/978-3-642-15399-0_67⟩
Conference papers hal-01055594v1
Page :