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

Filter your results

534 results
Deposit type : Fulltext
Document type : Conference papers
level0_domain_s : Computer Science [cs]
Page :
sorted by
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

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

 Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye , et al.
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.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers inria-00554321v2
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
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
Page :