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

Filter your results

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

Behavioural Contracts with Request-Response Operations

 Lucia Acciai , Michele Boreale , Gianluigi Zavattaro
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.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers hal-01054626v1
Image document

Semantic Web Standards and Ontologies for Legislative Drafting Support

 Tommaso Agnoloni , Daniela Tiscornia
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.184-196, ⟨10.1007/978-3-642-15158-3_16⟩
Conference papers hal-01054840v1
Image document

Firewall Mechanism in a User Centric Smart Card Ownership Model

 Raja Naeem Akram , Konstantinos Markantonakis , Keith Mayes
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.118-132, ⟨10.1007/978-3-642-12510-2_9⟩
Conference papers hal-01056096v1
Image document

Forensic Tracking and Mobility Prediction in Vehicular Networks

 Saif Al-Kuwari , Stephen Wolthusen
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.91-105, ⟨10.1007/978-3-642-15506-2_7⟩
Conference papers hal-01060612v1
Image document

Probabilistic Vehicular Trace Reconstruction Based on RF-Visual Data Fusion

 Saif Al-Kuwari , Stephen D. Wolthusen
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.16-27, ⟨10.1007/978-3-642-13241-4_3⟩
Conference papers hal-01056371v1
Image document

On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems

 Luís Almeida , Ricardo Marau , Karthik Lakshmanan , Raj Rajkumar
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.119-130, ⟨10.1007/978-3-642-16256-5_13⟩
Conference papers hal-01055392v1
Image document

A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones

 Tansu Alpcan , Christian Bauckhage , Aubrey-Derrick Schmidt
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.31-46, ⟨10.1007/978-3-642-12368-9_3⟩
Conference papers hal-01056068v1
Image document

Software Reuse in Local Public Bodies: Lessons Learned in Tuscany

 Vincenzo Ambriola , Giovanni A. Cignoni
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.375-386, ⟨10.1007/978-3-642-14799-9_32⟩
Conference papers hal-01056574v1
Image document

Culturally Sensitive Computer Support for Creative Co-authorship of a Sex Education Game

 Junia C. Anacleto , Johana M. R. Villena , Marcos A. R. Silva , Sidney Fels
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.302-307, ⟨10.1007/978-3-642-15399-0_31⟩
Conference papers hal-01055630v1
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

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

 Christo Angelov , Feng Zhou , Krzysztof Sierszecki
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.167-178, ⟨10.1007/978-3-642-16256-5_17⟩
Conference papers hal-01055388v1
Image document

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing

 Andrea Arcuri , Muhammad Zohaib Iqbal , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.95-110, ⟨10.1007/978-3-642-16573-3_8⟩
Conference papers hal-01055241v1
Image document

Practical Experiences with Purenet, a Self-Learning Malware Prevention System

 Alapan Arnab , Tobias Martin , Andrew Hutchison
1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.56-69, ⟨10.1007/978-3-642-19228-9_6⟩
Conference papers hal-01581334v1
Image document

Probabilistic Fault Diagnosis in the MAGNETO Autonomic Control Loop

 Pablo Arozarena , Raquel Toribio , Jesse Kielthy , Kevin Quinn , Martin Zach
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.102-105, ⟨10.1007/978-3-642-13986-4_14⟩
Conference papers hal-01056642v1
Image document

A Virtual File System Interface for Computational Grids

 Abdulrahman Azab , Hein Meling
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.87-96, ⟨10.1007/978-3-642-13971-0_9⟩
Conference papers hal-01056478v1
Image document

MoteAODV - An AODV Implementation for TinyOS 2.0

 Werner Backes , Jared Cordasco
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.154-169, ⟨10.1007/978-3-642-12368-9_11⟩
Conference papers hal-01056089v1
Image document

Enforcing End-to-End Application Security in the Cloud

 Jean Bacon , David Evans , David M. Eyers , Matteo Migliavacca , Peter Pietzuch , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.293-312, ⟨10.1007/978-3-642-16955-7_15⟩
Conference papers hal-01055278v1
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

OTAWA: An Open Toolbox for Adaptive WCET Analysis

 Clément Ballabriga , Hugues Cassé , Christine Rochange , Pascal Sainrat
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩
Conference papers hal-01055378v1
Image document

Tangible Interactive Art Using Marker Tracking in Front Projection Environment: The Face Cube

 Chan-Young Bang , Jin Lee , Hye-Won Jung , Ok-Young Choi , Jong-Il Park
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.397-404, ⟨10.1007/978-3-642-15399-0_43⟩
Conference papers hal-01055619v1
Image document

Approaches to Software Engineering: A Human-Centred Perspective

 Liam J. Bannon
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.1-5, ⟨10.1007/978-3-642-16488-0_1⟩
Conference papers hal-01055200v1
Image document

Intrusion Detection in SCADA Networks

 Rafael Ramos Regis Barbosa , Aiko Pras
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.163-166, ⟨10.1007/978-3-642-13986-4_23⟩
Conference papers hal-01056632v1
Image document

Attacks on Java Card 3.0 Combining Fault and Logical Attacks

 Guillaume Barbu , Hugues Thiebeauld , Vincent Guerin
Smart Card Research and Advanced Application. 9th IFIP WG 8.8/11.2 International Conference. CARDIS 2010, Apr 2010, Passau, Germany. pp.148-163, ⟨10.1007/978-3-642-12510-2_11⟩
Conference papers hal-00692165v1
Image document

A Logic of Privacy

 Steve Barker , Valerio Genovese
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.17-32, ⟨10.1007/978-3-642-13739-6_2⟩
Conference papers hal-01056671v1
Image document

A Domain Specific Language for Contextual Design

 Balbir S. Barn , Tony Clark
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.46-61, ⟨10.1007/978-3-642-16488-0_5⟩
Conference papers hal-01055231v1
Image document

Siblings of a Different Kind: E-Government and E-Commerce

 Karine Barzilai-Nahon , Hans Jochen Scholl
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.25-37, ⟨10.1007/978-3-642-14799-9_3⟩
Conference papers hal-01056568v1
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

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

Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings

 Lejla Batina , Jaap-Henk Hoepman , Bart Jacobs , Wojciech Mostowski , Pim Vullers
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.209-222, ⟨10.1007/978-3-642-12510-2_15⟩
Conference papers hal-01056105v1
Page :