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

Filter your results

27 results
Deposit type : Fulltext
labStructName_s : Department of Computer Science
Page :
sorted by
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
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

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

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

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

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

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
Page :