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

Filter your results

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

Compositional Random Testing Using Extended Symbolic Transition Systems

 Christian Schwarzl , Bernhard K. Aichernig , Franz Wotawa
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.179-194, ⟨10.1007/978-3-642-24580-0_13⟩
Conference papers hal-01583918v1
Image document

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

 Jan Peleska , Artur Honisch , Florian Lapschies , Helge Löding , Hermann Schmid , et al.
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.146-161, ⟨10.1007/978-3-642-24580-0_11⟩
Conference papers hal-01583919v1
Image document

Formal Testing of Timed and Probabilistic Systems

 Manuel Núñez
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩
Conference papers hal-01583920v1
Image document

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

 Alexandre Petrenko , Nina Yevtushenko
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.162-178, ⟨10.1007/978-3-642-24580-0_12⟩
Conference papers hal-01583921v1
Image document

Assessing Test Adequacy for Black-Box Systems without Specifications

 Neil Walkinshaw
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.209-224, ⟨10.1007/978-3-642-24580-0_15⟩
Conference papers hal-01583922v1
Image document

Conformance Relations for Distributed Testing Based on CSP

 Ana Cavalcanti , Marie-Claude Gaudel , Robert M. Hierons
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers hal-01583923v1
Image document

Model-Based Testing of Industrial Transformational Systems

 Petur Olsen , Johan Foederer , Jan Tretmans
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.131-145, ⟨10.1007/978-3-642-24580-0_10⟩
Conference papers hal-01583924v1
Image document

Counting for Random Testing

 Marie-Claude Gaudel
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩
Conference papers hal-01583925v1
Image document

Efficient Distributed Signature Analysis

 Michael Vogel , Sebastian Schmerl , Hartmut König
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.13-25, ⟨10.1007/978-3-642-21484-4_2⟩
Conference papers hal-01585852v1
Image document

Carrier Ethernet OAM: An Overview and Comparison to IP OAM

 Rick Hofstede , Idilio Drago , Giovane Moura , Aiko Pras
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.112-123, ⟨10.1007/978-3-642-21484-4_14⟩
Conference papers hal-01585853v1
Image document

Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems

 Shahriar Bijani , David Robertson
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.177-180, ⟨10.1007/978-3-642-21484-4_22⟩
Conference papers hal-01585854v1
Image document

Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services

 Ying Qiao , Gregor V. Bochmann
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.124-135, ⟨10.1007/978-3-642-21484-4_15⟩
Conference papers hal-01585855v1
Image document

Using of Time Characteristics in Data Flow for Traffic Classification

 Pavel Piskac , Jiri Novotny
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.173-176, ⟨10.1007/978-3-642-21484-4_21⟩
Conference papers hal-01585856v1
Image document

On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks

 Paulo Simões , Fernando Boavida , Adriano Fiorese
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.136-147, ⟨10.1007/978-3-642-21484-4_16⟩
Conference papers hal-01585857v1
Image document

Decision Engine for SIP Based Dynamic Call Routing

 Sajjad Ali Musthaq , Christophe Lohr , Annie Gravey
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.86-99, ⟨10.1007/978-3-642-21484-4_12⟩
Conference papers hal-01585858v1
Image document

Autonomic Management for Personalized Handover Decisions in Heterogeneous Wireless Networks

 Joon-Myung Kang , James Won-Ki Hong
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.57-60, ⟨10.1007/978-3-642-21484-4_7⟩
Conference papers hal-01585859v1
Image document

Towards Self-Adaptive Monitoring Framework for Integrated Management

 Audrey Moui , Thierry Desprats
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.160-163, ⟨10.1007/978-3-642-21484-4_18⟩
Conference papers hal-01585860v1
Image document

Estimating Bandwidth Requirements Using Flow-Level Measurements

 Ricardo De O. Schmidt , Aiko Pras
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.169-172, ⟨10.1007/978-3-642-21484-4_20⟩
Conference papers hal-01585862v1
Image document

A Novel Approach to Support the Visual Exploration and Management of Heterogeneous Home Area Network Devices and Services

 Yuqian Song , Owen Conlan
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.164-168, ⟨10.1007/978-3-642-21484-4_19⟩
Conference papers hal-01585863v1
Image document

Autonomous Service Composition in Symbiotic Networks

 Tim De Pauw , Filip De Turck , Veerle Ongenae
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.49-52, ⟨10.1007/978-3-642-21484-4_5⟩
Conference papers hal-01585865v1
Image document

Policy-Based Pricing for Heterogeneous Wireless Access Networks

 Javier Baliosian , Joan Serrat , Matias Richart , Juan Saavedra , Mariela Borba , et al.
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.73-85, ⟨10.1007/978-3-642-21484-4_11⟩
Conference papers hal-01585866v1
Image document

Evaluation of the Resource Requirements of SNMP Agents on Constrained Devices

 Siarhei Kuryla , Jürgen Schönwälder
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.100-111, ⟨10.1007/978-3-642-21484-4_13⟩
Conference papers hal-01585867v1
Image document

Optimising P2P Overlays for Pervasive Environments

 Fei Peng , Apostolos Malatras
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.61-64, ⟨10.1007/978-3-642-21484-4_8⟩
Conference papers hal-01585868v1
Image document

An SLA Support System for Cloud Computing

 Guilherme Sperb Machado , Burkhard Stiller
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.53-56, ⟨10.1007/978-3-642-21484-4_6⟩
Conference papers hal-01585869v1
Image document

Finding and Analyzing Evil Cities on the Internet

 Matthijs Polen , Giovane Moura , Aiko Pras
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.38-48, ⟨10.1007/978-3-642-21484-4_4⟩
Conference papers hal-01585870v1
Image document

Autonomous Platform for Life-Critical Decision Support in the ICU

 Kristof Steurbaut , Filip De Turck
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.69-72, ⟨10.1007/978-3-642-21484-4_10⟩
Conference papers hal-01585871v1
Image document

Multiparty Authorization Framework for Data Sharing in Online Social Networks

 Hongxin Hu , Gail-Joon Ahn
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.29-43, ⟨10.1007/978-3-642-22348-8_5⟩
Conference papers hal-01586571v1
Image document

Multilevel Secure Data Stream Processing

 Raman Adaikkalavan , Indrakshi Ray , Xing Xie
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.122-137, ⟨10.1007/978-3-642-22348-8_11⟩
Conference papers hal-01586572v1
Image document

Enhancing CardSpace Authentication Using a Mobile Device

 Haitham S. Al-Sinani , Chris J. Mitchell
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.201-216, ⟨10.1007/978-3-642-22348-8_16⟩
Conference papers hal-01586573v1
Image document

Integrated Management of Security Policies

 Stefano Paraboschi
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.12-13, ⟨10.1007/978-3-642-22348-8_3⟩
Conference papers hal-01586574v1
Page :