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

Filter your results

540 results
Deposit type : Fulltext
Deposit type : Notice
Page :
sorted by
Image document

An Energy-Efficient FPGA-Based Packet Processing Framework

 Daniel Horvath , Imre Bertalan , Istvan Moldován , Tuan Anh Trinh
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.31-40, ⟨10.1007/978-3-642-13971-0_4⟩
Conference papers hal-01056561v1
Image document

Evaluate the Performance and Scalability of Image Deployment in Virtual Data Center

 Kejiang Ye , Xiaohong Jiang , Qinming He , Xing Li , Jianhai Chen
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.390-401, ⟨10.1007/978-3-642-15672-4_32⟩
Conference papers hal-01054970v1
Image document

SIP Proxies: New Reflectors in the Internet

 Ge Zhang , Jordi Jaen Pallares , Yacine Rebahi , Simone Fischer-Hübner
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.142-153, ⟨10.1007/978-3-642-13241-4_14⟩
Conference papers hal-01056382v1
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

Testing Attribute-Based Transactions in SOC

 Laura Bocchi , Emilio Tuosto
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.87-94, ⟨10.1007/978-3-642-13464-7_8⟩
Conference papers hal-01055143v1
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

Reducing the Cost of Model-Based Testing through Test Case Diversity

 Hadi Hemmati , Andrea Arcuri , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩
Conference papers hal-01055243v1
Image document

Constructing Key Assignment Schemes from Chain Partitions

 Jason Crampton , Rosli Daud , Keith M. Martin
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.130-145, ⟨10.1007/978-3-642-13739-6_9⟩
Conference papers hal-01056664v1
Image document

Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks

 Chien-Liang Fok , Gruia-Catalin Roman , Chenyang Lu
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.107-121, ⟨10.1007/978-3-642-13414-2_8⟩
Conference papers hal-01054620v1
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

NetPot: Easy Meal Enjoyment for Distant Diners

 Zoltan Foley-Fisher , Vincent Tsao , Johnty Wang , Sid Fels
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.446-448, ⟨10.1007/978-3-642-15399-0_56⟩
Conference papers hal-01055606v1
Image document

Mining Likely Properties of Access Control Policies via Association Rule Mining

 Jeehyun Hwang , Tao Xie , Vincent Hu , Mine Altunay
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.193-208, ⟨10.1007/978-3-642-13739-6_13⟩
Conference papers hal-01056688v1
Image document

An Open and Extensible Service Discovery for Ubiquitous Communication Systems

 Nor Shahniza Kamal Bashah , Ivar Jørstad , Do Thanh
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.272-273, ⟨10.1007/978-3-642-13971-0_30⟩
Conference papers hal-01056484v1
Image document

Translation from UML to SPN Model: A Performance Modeling Framework

 Razib Hayat Khan , Poul E. Heegaard
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.270-271, ⟨10.1007/978-3-642-13971-0_29⟩
Conference papers hal-01056486v1
Image document

Formal Software Verification: How Close Are We?

 Gerard J. Holzmann
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.1, ⟨10.1007/978-3-642-13464-7_1⟩
Conference papers hal-01055211v1
Image document

Detecting Ponzi and Pyramid Business Schemes in Choreographed Web Services

 Murat Gunestas , Murad Mehmet , Duminda Wijesekera
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.133-150, ⟨10.1007/978-3-642-15506-2_10⟩
Conference papers hal-01060614v1
Image document

Are BGP Routers Open to Attack? An Experiment

 Ludovico Cavedon , Christopher Kruegel , Giovanni Vigna
1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.88-103, ⟨10.1007/978-3-642-19228-9_8⟩
Conference papers hal-01581336v1
Image document

A Scalable Wireless Routing Protocol Secure against Route Truncation Attacks

 Amitabh Saxena , Ben Soh
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.4-15, ⟨10.1007/978-3-642-13241-4_2⟩
Conference papers hal-01056372v1
Image document

An Analysis of the Green Dam Youth Escort Software

 Frankie Li , Hilton Chan , Kam-Pui Chow , Pierre Lai
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.49-62, ⟨10.1007/978-3-642-15506-2_4⟩
Conference papers hal-01060609v1
Image document

Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives

 Giuliano Casale , Marco Gribaudo , Giuseppe Serazzi
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.24-37, ⟨10.1007/978-3-642-25575-5_3⟩
Conference papers hal-01586901v1
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

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

 Peter Csaba Ölveczky , Artur Boronat , José Meseguer
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.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers hal-01055147v1
Image document

A Sound Engine for Virtual Cities

 Shih-Han Chan , Cécile Le Prado , Stéphane Natkin , Guillaume Tiger
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.443-445, ⟨10.1007/978-3-642-15399-0_55⟩
Conference papers hal-01055607v1
Image document

A Frame of Reference for Research of Integrated Governance, Risk and Compliance (GRC)

 Nicolas Racz , Edgar Weippl , Andreas Seufert
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.106-117, ⟨10.1007/978-3-642-13241-4_11⟩
Conference papers hal-01056386v1
Image document

Designing and Evaluating Dashboards for Multi-agency Crisis Preparation: A Living Lab

 Nitesh Bharosa , Marijn Janssen , Sebastiaan Meijer , Fritjof Brave
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.180-191, ⟨10.1007/978-3-642-14799-9_16⟩
Conference papers hal-01056587v1
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

Toward a Formal Approach to Process Bundling in Public Administrations

 Marlen Jurisch , Petra Wolf , Helmut Krcmar
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.412-423, ⟨10.1007/978-3-642-14799-9_35⟩
Conference papers hal-01056570v1
Image document

Dynamic Service Placement in Shared Service Hosting Infrastructures

 Qi Zhang , Jin Xiao , Eren Gürses , Martin Karsten , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.251-264, ⟨10.1007/978-3-642-12963-6_20⟩
Conference papers hal-01056307v1
Page :