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

Filter your results

535 results
Deposit type : Fulltext
Document type : Conference papers
Image document

Civil Servants' Internet Skills: Are They Ready for E-Government?

A.J.A.M. van Deursen , J.A.G.M. van Dijk
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.132-143, ⟨10.1007/978-3-642-14799-9_12⟩
Conference papers hal-01059171v1
Image document

Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions

Ronald Kainda , Ivan Flechais , A. W. Roscoe
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.308-315, ⟨10.1007/978-3-642-12368-9_24⟩
Conference papers hal-01056076v1
Image document

Distributed Fault Tolerant Controllers

Leonardo Mostarda , Rudi Ball , Naranker Dulay
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.141-154, ⟨10.1007/978-3-642-13645-0_11⟩
Conference papers hal-01061089v1
Image document

Software Reuse in Local Public Bodies: Lessons Learned in Tuscany

Vincenzo Ambriola , Giovanni A. Cignoni
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.375-386, ⟨10.1007/978-3-642-14799-9_32⟩
Conference papers hal-01056574v1
Image document

Digital Certificate Management for Document Workflows in E-Government Services

Florin Pop , Ciprian Dobre , Decebal Popescu , Vlad Ciobanu , Valentin Cristea
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.363-374, ⟨10.1007/978-3-642-14799-9_31⟩
Conference papers hal-01056575v1
Image document

Mining NetFlow Records for Critical Network Activities

Shaonan Wang , Radu State , Mohamed Ourdane , Thomas Engel
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.135-146, ⟨10.1007/978-3-642-13986-4_20⟩
Conference papers hal-01056635v1
Image document

Embedding Algorithms for Bubble-Sort, Macro-Star, and Transposition Graphs

Hyeongok Lee , Dongwan Kim , Junghyun Seo , Mihye Kim
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.134-143, ⟨10.1007/978-3-642-15672-4_12⟩
Conference papers hal-01054983v1
Image document

Static Type Analysis of Pattern Matching by Abstract Interpretation

Pietro Ferrara
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.186-200, ⟨10.1007/978-3-642-13464-7_15⟩
Conference papers hal-01055154v1
Image document

Fluxion: An Innovative Fluid Dynamics Game on Multi-touch Handheld Device

Chun-Ta Chen , Jy-Huey Lin , Wen-Chun Lin , Fei Wang , Bing-Huan Wu
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.437-439, ⟨10.1007/978-3-642-15399-0_53⟩
Conference papers hal-01055609v1
Image document

Model-Based Design and Implementation of Interactive Spaces for Information Interaction

Hans-Christian Jetter , Jens Gerken , Michael Zöllner , Harald Reiterer
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.22-37, ⟨10.1007/978-3-642-16488-0_3⟩
Conference papers hal-01055198v1
Image document

A Model-Based Approach to Testing Software for Critical Behavior and Properties

Constance Heitmeyer
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.15-15, ⟨10.1007/978-3-642-16573-3_2⟩
Conference papers hal-01055246v1
Image document

FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads

Joel Wolf , Deepak Rajan , Kirsten Hildrum , Rohit Khandekar , Vibhore Kumar , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.1-20, ⟨10.1007/978-3-642-16955-7_1⟩
Conference papers hal-01055274v1
Image document

Asynchronous Lease-based Replication of Software Transactional Memory

Nuno Carvalho , Paolo Romano , Luís Rodrigues
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.376-396, ⟨10.1007/978-3-642-16955-7_19⟩
Conference papers hal-01055275v1
Image document

Testing Probabilistic Distributed Systems

Robert M. Hierons , Manuel Núñez
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.63-77, ⟨10.1007/978-3-642-13464-7_6⟩
Conference papers hal-01055146v1
Image document

A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks

Kai Beckmann , Marcus Thoss
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.95-106, ⟨10.1007/978-3-642-16256-5_11⟩
Conference papers hal-01055394v1
Image document

A Framework with Proactive Nodes for Scheduling and Optimizing Distributed Embedded Systems

Adrián Noguero , Isidro Calvo
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.236-245, ⟨10.1007/978-3-642-13971-0_23⟩
Conference papers hal-01056492v1
Image document

Wireless Handoff Optimization: A Comparison of IEEE 802.11r and HOKEY

Kashif Nizam Khan , Jinat Rehana
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.118-131, ⟨10.1007/978-3-642-13971-0_12⟩
Conference papers hal-01056504v1
Image document

Automatic Link Numbering and Source Routed Multicast

Visa Holopainen , Raimo Kantola , Taneli Taira , Olli-Pekka Lamminen
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.123-134, ⟨10.1007/978-3-642-13986-4_19⟩
Conference papers hal-01056637v1
Image document

Report- and Reciprocity-Based Incentive Mechanisms for Live and On-Demand P2P Video Streaming

Fabio Victora Hecht , Burkhard Stiller
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.81-84, ⟨10.1007/978-3-642-13986-4_9⟩
Conference papers hal-01056662v1
Image document

Role Mining in the Presence of Noise

Jaideep Vaidya , Vijayalakshmi Atluri , Qi Guo , Haibing Lu
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.97-112, ⟨10.1007/978-3-642-13739-6_7⟩
Conference papers hal-01056666v1
Image document

Performance Evaluation of Non-parallelizable Client Puzzles for Defeating DoS Attacks in Authentication Protocols

Suratose Tritilanunt
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.358-365, ⟨10.1007/978-3-642-13739-6_28⟩
Conference papers hal-01056672v1
Image document

A Smart Card Implementation of the McEliece PKC

Falko Strenzke
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.47-59, ⟨10.1007/978-3-642-12368-9_4⟩
Conference papers hal-01056067v1
Image document

Routing Protocol for Anycast Communications in a Wireless Sensor Network

Nancy Rachkidy , Alexandre Guitton , Michel Misson
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.291-302, ⟨10.1007/978-3-642-12963-6_23⟩
Conference papers hal-01056305v1
Image document

A Zone Assignment Algorithm for Fractional Frequency Reuse in Mobile WiMAX Networks

Michael Einhaus , Andreas Mäder , Xavier Pérez-Costa
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.174-185, ⟨10.1007/978-3-642-12963-6_14⟩
Conference papers hal-01056314v1
Image document

Watermark Detection for Video Bookmarking Using Mobile Phone Camera

Peter Meerwald , Andreas Uhl
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.64-74, ⟨10.1007/978-3-642-13241-4_7⟩
Conference papers hal-01056367v1
Image document

Network Protocol Performance Bounding Exploiting Properties of Infinite Dimensional Linear Equations

Ioannis Stavrakakis
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.129-140, ⟨10.1007/978-3-642-25575-5_11⟩
Conference papers hal-01586892v1
Image document

A Consistency Study of the Windows Registry

Yuandong Zhu , Joshua James , Pavel Gladyshev
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.77-90, ⟨10.1007/978-3-642-15506-2_6⟩
Conference papers hal-01060611v1
Image document

Adaptive Line Size Cache for Irregular References on Cell Multicore Processor

Qian Cao , Chongchong Zhao , Junxiu Chen , Yunxing Zhang , Yi Chen
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.314-328, ⟨10.1007/978-3-642-15672-4_27⟩
Conference papers hal-01054976v1
Image document

Code Generation for Embedded Java with Ptolemy

Martin Schoeberl , Christopher Brooks , Edward A. Lee
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.155-166, ⟨10.1007/978-3-642-16256-5_16⟩
Conference papers hal-01055389v1
Image document

Study on an Information Processing Model with Psychological Memory for a Kansei Robot

Yuta Kita , Masataka Tokumaru , Noriaki Muranaka
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.490-492, ⟨10.1007/978-3-642-15399-0_69⟩
Conference papers hal-01055592v1