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

Filter your results

537 results
Deposit type : Fulltext
language_s : English
Image document

Scalable Efficient Composite Event Detection

K. R. Jayaram , Patrick Eugster
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.168-182, ⟨10.1007/978-3-642-13414-2_12⟩
Conference papers hal-01054628v1
Image document

The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design

Shamal Faily , Ivan Fléchais
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.111-118, ⟨10.1007/978-3-642-16488-0_9⟩
Conference papers hal-01055193v1
Image document

Towards a Systematic Exploitation of Web 2.0 and Simulation Modeling Tools in Public Policy Process

Yannis Charalabidis , George Gionis , Enrico Ferro , Euripidis Loukis
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.1-12, ⟨10.1007/978-3-642-15158-3_1⟩
Conference papers hal-01054837v1
Image document

Efficient Session Type Guided Distributed Interaction

K. C. Sivaramakrishnan , Karthik Nagaraj , Lukasz Ziarek , Patrick Eugster
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.152-167, ⟨10.1007/978-3-642-13414-2_11⟩
Conference papers hal-01054629v1
Image document

Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?

Nicola Dragoni , Olga Gadyatskaya , Fabio Massacci
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.221-228, ⟨10.1007/978-3-642-12368-9_16⟩
Conference papers hal-01059143v1
Image document

Model Interoperability for Performance Engineering: Survey of Milestones and Evolution

Connie U. Smith , Catalina M. Lladó
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.10-23, ⟨10.1007/978-3-642-25575-5_2⟩
Conference papers hal-01586894v1
Image document

From the Origins of Performance Evaluation to New Green ICT Performance Engineering

Carlos Juiz , Ramon Puigjaner
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.49-60, ⟨10.1007/978-3-642-25575-5_5⟩
Conference papers hal-01586904v1
Image document

The Gossple Anonymous Social Network

Marin Bertier , Davide Frey , Rachid Guerraoui , Anne-Marie Kermarrec , Vincent Leroy
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.191-211, ⟨10.1007/978-3-642-16955-7_10⟩
Conference papers inria-00515693v2
Image document

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Francesco Bongiovanni , Vincenzo Ciancaglini , et al.
Networking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩
Conference papers hal-00909544v1
Image document

Distributed Object-Oriented Programming with RFID Technology

Andoni Lombide Carreton , Kevin Pinte , Wolfgang Meuter
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.56-69, ⟨10.1007/978-3-642-13645-0_5⟩
Conference papers hal-01061078v1
Image document

Disappointments and Delights, Fears and Hopes induced by a few decades in Performance Evaluation

Raymond Marie
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.1-9, ⟨10.1007/978-3-642-25575-5_1⟩
Conference papers hal-00789638v1
Image document

AFFINE for Enforcing Earlier Consideration of NFRs and Human Factors When Building Socio-Technical Systems Following Agile Methodologies

Mohamed Bourimi , Thomas Barth , Joerg M. Haake , Bernd Ueberschär , Dogan Kesdogan
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.182-189, ⟨10.1007/978-3-642-16488-0_15⟩
Conference papers hal-01055205v1
Image document

Secure Delegation of Elliptic-Curve Pairing

Benoît Chevallier-Mames , Jean-Sébastien Coron , Noel Mccullagh , David Naccache , Michael Scott
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.24-35, ⟨10.1007/978-3-642-12510-2_3⟩
Conference papers hal-01056101v1
Image document

Implementation of a Stream-Based IP Flow Record Query Language

Kaloyan Kanev , Nikolay Melnikov , Jürgen Schönwälder
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.147-158, ⟨10.1007/978-3-642-13986-4_21⟩
Conference papers hal-01056634v1
Image document

An Algorithm for Automatic Base Station Placement in Cellular Network Deployment

István Törős , Péter Fazekas
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.21-30, ⟨10.1007/978-3-642-13971-0_3⟩
Conference papers hal-01056483v1
Image document

Theoretical Analysis of an Ideal Startup Scheme in Multihomed SCTP

Johan Eklund , Karl-Johan Grinnemo , Anna Brunstrom
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.155-166, ⟨10.1007/978-3-642-13971-0_15⟩
Conference papers hal-01056501v1
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
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

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