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

Filter your results

559 results
Page :
sorted by
Image document

Practical Schemes for Privacy and Security Enhanced RFID

 Jaap-Henk Hoepman , Rieks Joosten
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.138-153, ⟨10.1007/978-3-642-12368-9_10⟩
Conference papers hal-01059139v1

Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

 Fides Aarts , Bengt Jonsson , Johan Uijen
IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩
Conference papers hal-00767416v1
Image document

ServiceStore: A Peer-to-Peer Framework for QoS-aware Service Composition

 Jun Jin , Yu Zhang , Yuanda Cao , Xing Pu , Jiaxin Li
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.190-199, ⟨10.1007/978-3-642-15672-4_17⟩
Conference papers hal-01054991v1
Image document

Automatic Software Deployment in the Azure Cloud

 Jacek Cała , Paul Watson
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.155-168, ⟨10.1007/978-3-642-13645-0_12⟩
Conference papers hal-01061088v1
Image document

Reactive Semantics for Distributed UML Activities

 Frank Alexander Kraemer , Peter Herrmann
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.17-31, ⟨10.1007/978-3-642-13464-7_3⟩
Conference papers hal-01055149v1
Image document

Heap-Dependent Expressions in Separation Logic

 Jan Smans , Bart Jacobs , Frank Piessens
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.170-185, ⟨10.1007/978-3-642-13464-7_14⟩
Conference papers hal-01055155v1
Image document

RESTful Integration of Heterogeneous Devices in Pervasive Environments

 Daniel Romero , Gabriel Hermosillo , Amirhosein Taherkordi , Russel Nzekwa , Romain Rouvoy , et al.
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.1-14, ⟨10.1007/978-3-642-13645-0_1⟩
Conference papers hal-00471922v2
Image document

Digital Watermarking of Virtual Machine Images

 Kumiko Tadano , Masahiro Kawato , Ryo Furukawa , Fumio Machida , Yoshiharu Maeno
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.257-268, ⟨10.1007/978-3-642-15506-2_18⟩
Conference papers hal-01060623v1
Image document

Query Racing: Fast Completeness Certification of Query Results

 Bernardo Palazzi , Maurizio Pizzonia , Stefano Pucacco
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.177-192, ⟨10.1007/978-3-642-13739-6_12⟩
Conference papers hal-01056689v1
Image document

Improve Throughput of Storage Cluster Interconnected with a TCP/IP Network Using Intelligent Server Grouping

 Xuechen Zhang , Guiquan Liu , Song Jiang
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.373-389, ⟨10.1007/978-3-642-15672-4_31⟩
Conference papers hal-01054971v1
Image document

Inter-organizational Information Systems and Interaction in Public vs. Private Sector - Comparing Two Cases

 Ulf Melin , Karin Axelsson
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.38-49, ⟨10.1007/978-3-642-14799-9_4⟩
Conference papers hal-01056567v1
Image document

Emerging Barriers in E-Government Implementation

 Spyros Angelopoulos , Fotis Kitsios , Petros Kofakis , Thanos Papadopoulos
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.216-225, ⟨10.1007/978-3-642-14799-9_19⟩
Conference papers hal-01056585v1
Image document

Distributed Middleware Enforcement of Event Flow Security Policy

 Matteo Migliavacca , Ioannis Papagiannis , David M. Eyers , Brian Shand , Jean Bacon , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.334-354, ⟨10.1007/978-3-642-16955-7_17⟩
Conference papers hal-01055277v1
Image document

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

 Fatemeh Kazemeyni , Einar Broch Johnsen , Olaf Owe , Ilangko Balasingham
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.95-109, ⟨10.1007/978-3-642-13464-7_9⟩
Conference papers hal-01055142v1
Image document

Development of a Virtual Electric Wheelchair - Simulation and Assessment of Physical Fidelity Using the Unreal Engine 3

 Marc Herrlich , Ronald Meyer , Rainer Malaka , Helmut Heck
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.286-293, ⟨10.1007/978-3-642-15399-0_29⟩
Conference papers hal-01055633v1
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

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices

 Pierangela Samarati , Michael Tunstall , Joachim Posegga , Konstantinos Markantonakis , Damien Sauveron
Springer, LNCS-6033, 2010, Lecture Notes in Computer Science, 978-3-642-12367-2. ⟨10.1007/978-3-642-12368-9⟩
Books hal-01550529v1
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

An Integrated Application of Security Testing Methodologies to e-voting Systems

 Marco Ramilli , Marco Prandini
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.225-236, ⟨10.1007/978-3-642-15158-3_19⟩
Conference papers hal-01054838v1
Page :