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

Filter your results

815 results
Deposit type : Fulltext
Page :
sorted by
Image document

History-Dependent Inference Control of Queries by Dynamic Policy Adaption

 Joachim Biskup
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.106-121, ⟨10.1007/978-3-642-22348-8_10⟩
Conference papers hal-01586585v1
Image document

Experimental Evaluation of a Robust MAC Protocol for Network Coded Two-Way Relaying

 Sebastian Bittl , Christoph Hausl , Onurcan İşcan
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.101-109, ⟨10.1007/978-3-642-23041-7_10⟩
Conference papers hal-01587845v1
Image document

An Investigative Framework for Incident Analysis

 Clive Blackwell
7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.23-34, ⟨10.1007/978-3-642-24212-0_2⟩
Conference papers hal-01569558v1
Image document

The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems

 Gordon Blair , Amel Bennaceur , Nikolaos Georgantas , Paul Grace , Valérie Issarny , et al.
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.410-430, ⟨10.1007/978-3-642-25821-3_21⟩
Conference papers inria-00629059v1
Image document

Improved Usage Model for Web Application Reliability Testing

 Gregor V. Bochmann , Guy-Vincent Jourdan , Bo Wan
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.15-31, ⟨10.1007/978-3-642-24580-0_3⟩
Conference papers hal-01583914v1
Image document

Partial Order Methods for Statistical Model Checking and Simulation

 Jonathan Bogdoll , Luis María Ferrer Fioriti , Arnd Hartmanns , Holger Hermanns
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.59-74, ⟨10.1007/978-3-642-21461-5_4⟩
Conference papers hal-01583327v1
Image document

Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments

 Luciano Bononi , Wooseong Kim , Andreas J. Kassler , Marco Di Felice , Mario Gerla
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.398-409, ⟨10.1007/978-3-642-21560-5_33⟩
Conference papers hal-01583638v1
Image document

Supporting a Multidisciplinary Digital Media Research Community with GRAND Aspirations

 Kellogg S. Booth , Eleni Stroulia
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.681-682, ⟨10.1007/978-3-642-23768-3_113⟩
Conference papers hal-01597013v1
Image document

A Generic Solution for Agile Run-Time Inspection Middleware

 Wouter De Borger , Bert Lagaisse , Wouter Joosen
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.451-470, ⟨10.1007/978-3-642-25821-3_23⟩
Conference papers hal-01597758v1
Image document

Scalability of iBGP Path Diversity Concepts

 Uli Bornhauser , Peter Martini , Martin Horneffer
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.432-443, ⟨10.1007/978-3-642-20757-0_34⟩
Conference papers hal-01583395v1
Image document

Citizen Engagement with Information Aggregation Markets

 Efthimios Bothos , Dimitris Apostolou , Gregoris Mentzas
3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.274-285, ⟨10.1007/978-3-642-23333-3_24⟩
Conference papers hal-01589382v1
Image document

Combined Software and Hardware Attacks on the Java Card Control Flow

 Guillaume Bouffard , Julien Iguchi-Cartigny , Jean-Louis Lanet
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.283-296, ⟨10.1007/978-3-642-27257-8_18⟩
Conference papers hal-00684616v1
Image document

Evaluation of the Ability to Transform SIM Applications into Hostile Applications

 Guillaume Bouffard , Jean-Louis Lanet , Jean-Baptiste Machemie , Jean-Yves Poichotte , Jean-Philippe Wary
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.1-17, ⟨10.1007/978-3-642-27257-8_1⟩
Conference papers hal-00684113v1
Image document

Choosing your Moment: Interruptions in Multimedia Annotation

 Christopher P. Bowers , Will Byrne , Benjamin R. Cowan , Chris Creed , Robert J. Hendley , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.438-453, ⟨10.1007/978-3-642-23771-3_33⟩
Conference papers hal-01590849v1
Image document

Integrating Patient-Related Entities Using Hospital Information System Data and Automatic Analysis of Free Text

 Svetla Boytcheva , Galia Angelova , Zhivko Angelov , Dimitar Tcharaktchiev , Hristo Dimitrov
1st Availability, Reliability and Security (CD-ARES), Aug 2011, Vienna, Austria. pp.89-101, ⟨10.1007/978-3-642-23300-5_8⟩
Conference papers hal-01590401v1
Image document

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

 Bettina Braitling , Ralf Wimmer , Bernd Becker , Nils Jansen , Erika Ábrahám
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.75-89, ⟨10.1007/978-3-642-21461-5_5⟩
Conference papers hal-01583324v1
Image document

Adaptable Processes (Extended Abstract)

 Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Conference papers hal-01583325v1
Image document

Improving Computer Security Dialogs

 Cristian Bravo-Lillo , Lorrie Faith Cranor , Julie Downs , Saranga Komanduri , Manya Sleeper
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.18-35, ⟨10.1007/978-3-642-23768-3_2⟩
Conference papers hal-01596947v1
Image document

OntoCompo: A Tool to Enhance Application Composition

 Christian Brel , Anne-Marie Déry-Pinna , Philippe Renevier-Gonin , Michel Riveill
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbone, Portugal. pp.588-591, ⟨10.1007/978-3-642-23768-3_89⟩
Conference papers hal-01302169v1
Image document

Impact of Queueing Delay Estimation Error on Equilibrium and Its Stability

 Corentin Briat , Emre A. Yavuz , Gunnar Karlsson
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.356-367, ⟨10.1007/978-3-642-20798-3_27⟩
Conference papers hal-01597988v1
Image document

Fault in the Future

 Einar Broch Johnsen , Ivan Lanese , Gianluigi Zavattaro
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers hal-01582997v1
Image document

Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity

 Yérom-David Bromberg , Paul Grace , Laurent Réveillère , Gordon Blair
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩
Conference papers hal-00643601v1
Image document

Information Architecture Automatization for the Semantic Web

 Josep Maria Brunetti , Roberto García
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.410-413, ⟨10.1007/978-3-642-23768-3_45⟩
Conference papers hal-01597010v1
Image document

Barefooted Usability Evaluation: Addressing the Mindset, Resources and Competences

 Anders Bruun
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.374-377, ⟨10.1007/978-3-642-23768-3_36⟩
Conference papers hal-01596950v1
Image document

Online Job-Migration for Reducing the Electricity Bill in the Cloud

 Niv Buchbinder , Navendu Jain , Ishai Menache
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.172-185, ⟨10.1007/978-3-642-20757-0_14⟩
Conference papers hal-01583406v1
Image document

Elaborating Analysis Models with Tool Support

 Gregor Buchholz , Peter Forbrig
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.511-514, ⟨10.1007/978-3-642-23768-3_70⟩
Conference papers hal-01596992v1
Image document

Twin Clouds: Secure Cloud Computing with Low Latency

 Sven Bugiel , Stefan Nürnberger , Ahmad-Reza Sadeghi , Thomas Schneider
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.32-44, ⟨10.1007/978-3-642-24712-5_3⟩
Conference papers hal-01596191v1
Image document

HCI for Peace: Promoting Peace and Preventing War through Computing Technology

 Natasha E. Bullock-Rest , Janet C. Read , Yoram Chisik , Juan Pablo Hourcade
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.689-690, ⟨10.1007/978-3-642-23768-3_117⟩
Conference papers hal-01596930v1
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers hal-01583404v1
Image document

Towards a Context Oriented Approach to Ethical Evaluation of Interactive Technologies

 Sandra Burri Gram-Hansen , Henrik Schärfe , Jens Vilhelm Dinesen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.628-631, ⟨10.1007/978-3-642-23768-3_99⟩
Conference papers hal-01596939v1
Page :