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

Filter your results

28 results
Deposit type : Fulltext
labStructName_s : Department of Computer Science
labStructName_s : CWI
Page :
sorted by
Image document

Simultaneous Logging and Replay for Recording Evidences of System Failures

 Shuichi Oikawa , Jin Kawasaki
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.143-154, ⟨10.1007/978-3-642-16256-5_15⟩
Conference papers hal-01055390v1
Image document

Chosen-Ciphertext Secure Certificateless Proxy Re-Encryption

 Chul Sur , Chae Duk Jung , Youngho Park , Kyung Hyune Rhee
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.214-232, ⟨10.1007/978-3-642-13241-4_20⟩
Conference papers hal-01056377v1
Image document

Parametric Subscriptions for Content-Based Publish/Subscribe Networks

 K. R. Jayaram , Chamikara Jayalath , Patrick Eugster
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.128-147, ⟨10.1007/978-3-642-16955-7_7⟩
Conference papers hal-01055268v1
Image document

Validating Evolutionary Algorithms on Volunteer Computing Grids

 Travis Desell , Malik Magdon-Ismail , Boleslaw Szymanski , Carlos A. Varela , Heidi Newberg , et al.
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.29-41, ⟨10.1007/978-3-642-13645-0_3⟩
Conference papers hal-01061080v1
Image document

Distributed Stream Processing with DUP

 Kai Christian Bader , Tilo Eissler , Nathan Evans , Chris Gauthierdickey , Christian Grothoff , et al.
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.232-246, ⟨10.1007/978-3-642-15672-4_21⟩
Conference papers hal-01054979v1
Image document

Multicast in Multi-channel Wireless Mesh Networks

 Ouldooz Baghban Karimi , Jiangchuan Liu , Zongpeng Li
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.148-159, ⟨10.1007/978-3-642-12963-6_12⟩
Conference papers hal-01056316v1
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

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

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

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
Image document

Test Data Generation for Programs with Quantified First-Order Logic Specifications

 Christoph D. Gladisch
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.158-173, ⟨10.1007/978-3-642-16573-3_12⟩
Conference papers hal-01055252v1
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

A Novel Trust Evaluation Model for Mobile P2P Networks

 Xu Wu
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.210-219, ⟨10.1007/978-3-642-15672-4_19⟩
Conference papers hal-01054989v1
Image document

IP Fast Reroute in Networks with Shared Risk Links

 Yan Li , Mohamed G. Gouda
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.213-226, ⟨10.1007/978-3-642-12963-6_17⟩
Conference papers hal-01056311v1
Image document

Online Scene Modeling for Interactive AR Applications

 Jaesang Yoo , Kyusung Cho , Jinki Jung , Hyun S. Yang
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.139-150, ⟨10.1007/978-3-642-15399-0_13⟩
Conference papers hal-01055648v1
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

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

Multiple Page Recognition and Tracking for Augmented Books

 Kyusung Cho , Jaesang Yoo , Jinki Jung , Hyun S. Yang
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.127-138, ⟨10.1007/978-3-642-15399-0_12⟩
Conference papers hal-01055649v1
Image document

Scalable and Efficient Reasoning for Enforcing Role-Based Access Control

 Tyrone Cadenhead , Murat Kantarcioglu , Bhavani Thuraisingham
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.209-224, ⟨10.1007/978-3-642-13739-6_14⟩
Conference papers hal-01056687v1
Image document

Watermark-Based Authentication and Key Exchange in Teleconferencing Systems

 Ulrich Rührmair , Stefan Katzenbeisser , Martin Steinebach , Sascha Zmudzinski
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.75-80, ⟨10.1007/978-3-642-13241-4_8⟩
Conference papers hal-01056366v1
Image document

Time-Predictable Computing

 Raimund Kirner , Peter Puschner
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.23-34, ⟨10.1007/978-3-642-16256-5_5⟩
Conference papers hal-01055379v1
Image document

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

 Artur Boronat , Roberto Bruni , Alberto Lluch Lafuente , Ugo Montanari , Generoso Paolillo
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.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers hal-01055150v1
Image document

A Calculus for Boxes and Traits in a Java-Like Setting

 Lorenzo Bettini , Ferruccio Damiani , Marco Luca , Kathrin Geilmann , Jan Schäfer
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.46-60, ⟨10.1007/978-3-642-13414-2_4⟩
Conference papers hal-01054624v1
Image document

Ambient Interference Effects in Wi-Fi Networks

 Aniket Mahanti , Niklas Carlsson , Carey Williamson , Martin Arlitt
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.160-173, ⟨10.1007/978-3-642-12963-6_13⟩
Conference papers hal-01056315v1
Image document

PriMan : A Privacy-Preserving Identity Framework

 Kristof Verslype , Pieter Verhaeghe , Jorn Lapon , Vincent Naessens , Bart Decker
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.327-334, ⟨10.1007/978-3-642-13739-6_24⟩
Conference papers hal-01056676v1
Image document

Improved Fault Analysis of Signature Schemes

 Christophe Giraud , Erik W. Knudsen , Michael Tunstall
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.164-181, ⟨10.1007/978-3-642-12510-2_12⟩
Conference papers hal-01056107v1
Image document

PerPos: A Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes

 Jakob Langdal , Kari R. Schougaard , Mikkel B. Kjærgaard , Thomas Toftkjær
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.232-251, ⟨10.1007/978-3-642-16955-7_12⟩
Conference papers hal-01055281v1
Image document

Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications

 Nicolas Kourtellis , Joshua Finnis , Paul Anderson , Jeremy Blackburn , Cristian Borcea , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.212-231, ⟨10.1007/978-3-642-16955-7_11⟩
Conference papers hal-01055282v1
Page :