Search - IFIP - Lecture Notes in Computer Science

Access content directly

Documentation

Collection IFIP-LNCS
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Search using SolR syntax
Upload

Lecture Notes in Computer Science

Home
LNCS
Browse
Conferences
AICT Series
LNBIP
LNCS
eCollection Series
ePublication
IFIP Society Publications

Loading...

Filter your results

Fulltext
11
Annex
1

Conference papers
11

Computer Science [cs]
11

2011
1
2010
10

English
11

Institut de Recherche en Informatique et Systèmes Aléatoires
6
Department of Informatics [Oslo]
5
Department of Computer Science
27
Computer Science Department
9
Department of Electrical and Computer Engineering
8
Department of Computer Science and Engineering
7
Inria Rennes – Bretagne Atlantique
7
Department of Intelligence and Informatics
6
Dept. of Computer Science
5
Entertainment Technology Center [Pittsburgh]
4
Inria Sophia Antipolis - Méditerranée
4
Kansai University Graduate School
4
School of Computer Science and Technology
4
David R. Cheriton School of Computer Science
3
Departamento de Sistemas Informáticos y Computación
3
Department of Informatics
3
Department of Telematics
3
Dipartimento di Informatica
3
INRIA Lorraine
3
Institute for Computing and Information Sciences [Nijmegen]
3
Istituto Superiore Mario Boella
3
Laboratoire Lorrain de Recherche en Informatique et ses Applications
3
Laboratoire d'Informatique Fondamentale de Lille
3
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
3
Microsoft Research
3
NEC Laboratories Europe
3
Oberthur Technologies
3
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3
Software Languages Lab
3
CAS Institute of Computing Technology
2
CBCU|ECRIC
2
Centre d'études et de recherche en informatique et communications
2
Chair for Information Systems I17
2
College of Computer Science
2
College of Computer Science and Technology
2
Computing Department
2
Department of Communications and Networking
2
Department of Computer Engineering
2
Department of Electrical Engineering and Computer Science
2
Department of Informatics Engineering - DEI, University of Coimbra
2
Department of Information Technology(INTEC) - IBCN
2
Department of Production Systems and Business Economics
2
Dept. of Computer Science and Engineering
2
Dept. of Computer Science and Engineering, Graduate School of Engineering
2
Design and Analysis of Communication Systems (DACS)
2
Digital Media Laboratory
2
Dipartimento di Sistemi e Informatica
2
Division of IT Convergence Engineering
2
European Media Laboratory GmbH
2
European Research Center for Information Systems
2
Faculty of Electrical Engineering [Prague]
2
Faculty of Electrical Engineering, Mathematics and Computer Science, Design and Analysis of Communications Systems (DACS)
2
Faculty of Technology, Policy and Management
2
HP Labs
2
Human Media Interaction
2
Inria Lille - Nord Europe
2
Institut Charles Delaunay
2
Institut de recherche en informatique de Toulouse
2
Institute of Applied Information Processing and Communications [Graz]
2
Institute of Communication Networks and Computer Engineering (IKR)
2
Institute of Computer Engineering [Vienna]
2
Institute of Computer Science
2
Interactive and Digital Media Institute (IDMI)
2
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2
Norwegian Information Security Laboratory
2
Oxford University Computing Laboratory
2
School of Computing
2
School of Computing Science
2
Smart card Centre [Egham]
2
Soongsil University
2
TNO Information and Communication Technology
2
TZI Digital Media Group
2
University of Science and Technology of China
2
VERIMAG
2
AG Mensch-Computer-Interaktion
1
ATMEL Secure Microcontroller Solutions, Zone Industrielle
1
Advanced Interaction Laboratory, Department of Computer Science
1
Agency for Public Management and eGovernment
1
Air Force Institute of Technology
1
Alarcos Research Group
1
Alcatel-Lucent Bell Labs
1
Alcatel-Lucent Bell Labs France [Nozay]
1
Alexandra Institute Ltd.
1
Alm. Brand
1
Anhui Province Key Laboratory of High Performance Computing
1
Australian Federal Police
1
Automatic Speech Translation Research Team
1
Beijing Laboratory of Intelligent Information Technology, School of Computer Science
1
Berenschot Groep B.V.
1
Bigpoint GmbH
1
BioWare Corp
1
Bit4ID s.r.l
1
Blekinge Institute of Technology
1
Blekinge Institute of Technology, School of Computing, School of Health
1
Bonn-Aachen International Center for Information Technology
1
CEACI-THALES
1
CNR-ISTI, HIIS Laboratory
1
CREST Centre, Department of Computer Science
1
CRIM
1
CWI
1
California Sciences Institute
1
Carinthia University of Applied Sciences
1
Center for Quantifiable Quality of Service in Communication Systems
1
Center for Research on Direct Democracy
1
Center for Technology in Government
1
Center for e-Government Studies
1
Centre de Recherche en Informatique
1
Centre for Forensic Computing
1
Centre for Quantifiable Quality of Service in Communication Systems (Q2S)
1
Centre for User Experience Research (CUO)
1
Chair for IT Security, FB5
1
China Runtime Technologies Lab
1
College of Information Sciences and Technology
1
College of Information Studies
1
College of Information Technology
1
Collège du Management de la Technologie [Lausanne]
1
Computer Engineering Department
1
Computer Engineering Department, Faculty of Engineering
1
Computer Science Department, Faculty of Automatic Control and Computers
1
Computer Science Division
1
Computer Science Division - School of Science and Technologies
1
Computer Science VI
1
Computer Science and Information Engineering Department
1
Computer Security Division
1
Computing Division
1
Cooperative Systems
1
Corporate Technology
1
Council for Scientific and Industrial Research
1
Create-Net
1
Cryptography and Computeralgebra, Department of Computer Science
1
Cyber Center
1
DAI-Labor
1
DERI
1
DIATEL -- EUITT
1
DISA (University of the Basque Country), E.U.I. de Vitoria-Gasteiz
1
DSIC
1
Daytona State College
1
Decision Support Systems & Management Laboratory, School of Electrical & Computer Engineering
1
Denso Automotive
1
Dep. Informática | CCTC
1
Departamento de Ciência da Computação [Minas Gerais]
1
Departamento de Informática, Leganés
1
Department Secure Information Systems
1
Department for Private Law [Oslo]
1
Department of Computer Education & Engineering
1
Department of Computer Science Education
1
Department of Computer Science [Copenhagen]
1
Department of Computer Science [Santa Barbara]
1
Department of Computer Science and Engineering [Kanpur]
1
Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology
1
Department of Computer Science, Advanced Multimedia and Security Lab
1
Department of Computer Sciences
1
Department of Computing
1
Department of Computing Engineering (DISCA)
1
Department of EECS
1
Department of Electrical and Computer Engineering [University of Toronto]
1
Department of Electrical and Information Technology
1
Department of Electronic & Electrical Engineering
1
Department of Electronic Science & Technology,Huazhong
1
Department of Electronics and Computer Engineering
1
Department of Electronics and Telecommunication
1
Department of IT Convergence and Application Engineering
1
Department of Industrial Design [Eindhoven]
1
Department of Industrial Engineering
1
Department of Informatics and Mathematical Modelling [Lyngby]
1
Department of Informatics and Media
1
Department of Information Security
1
Department of Information Systems
1
Department of Information Systems and Computing
1
Department of Information Technologies and Communications (Technical University of Cartagena)
1
Department of Integrated Electronics, Shenzhen Institute of Advanced Technology
1
Department of Journalism Studies and Media
1
Department of Management and Engineering [Linköping]
1
Department of Math and Computer Science
1
Department of Mathematics and Computer Science [Mannheim]
1
Department of Mathematics and Computer Science [Palma]
1
Department of Media, Communication and Organization
1
Department of Multimedia
1
Department of Physics, Applied Physics, and Astronomy [Troy]
1
Department of Technology Management
1
Department of Telecommunications and Mediainformatics
1
Departmento de Sistemas Informáticos
1
Dept Computer Science
1
Dept. Computer Science
1
Dept. Gameware, Kaywon School of Art & Design
1
Dept. of Computer Graphics and Interaction, Faculty of Electrical Engineering
1
Dept. of Computer Science and Computer Engineering
1
Dept. of Computer Science and Engg.
1
Dept. of Computer Science and Technology
1
Dept. of Computer Sciences
1
Dept. of Electrical & Computer Eng.
1
Dept. of Electrical Engineering and Computer Science
1
Dept. of Electronic Systems
1
Dept. of Infor. & Commu. Engineering
1
Dept. of System Information Engineering
1
Dept. of Telematics Engineering
1
Dept.of Computer Science
1
Deutsche Telekom Labs.
1
Digital Forensics Research Group
1
Digital security research unit
1

Andrea Arcuri
2
Lionel Briand
2
Amirhosein Taherkordi
1
Ananda Basu
1
Anne-Marie Kermarrec
1
Anne-Marie Kermarrec
1
Axel Legay
1
Benoit Baudry
1
Benoit Delahaye
1
Benoît Caillaud
1
Bernard Cousin
1
Chunming Qiao
1
Daniel Romero
1
Davide Frey
1
Einar Broch Johnsen
1
Fatemeh Kazemeyni
1
Fen Zhou
1
Frank Eliassen
1
Freddy Munoz
1
Gabriel Hermosillo
1
Hadi Hemmati
1
Hans Vatne Hansen
1
Ilangko Balasingham
1
Kévin Huguenin
1
Marin Bertier
1
Marius Bozga
1
Matti Siekkinen
1
Maxime Maxime Monod
1
Miklós Molnár
1
Muhammad Zohaib Iqbal
1
Olaf Owe
1
Rachid Guerraoui
1
Rachid Guerraoui
1
Raymond A. Marie
1
Romain Delamare
1
Romain Rouvoy
1
Russel Nzekwa
1
Saddek Bensalem
1
Swagatika Prusty
1
Thomas Plagemann
1
Vera Goebel
1
Vincent Leroy
1
Yves Traon
1

11 results

Deposit type : Fulltext

labStructName_s : Institut de Recherche en Informatique et Systèmes Aléatoires

labStructName_s : Department of Informatics [Oslo]

	For these 11 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Reducing the Cost of Model-Based Testing through Test Case Diversity Hadi Hemmati , Andrea Arcuri , Lionel Briand 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩ Conference papers hal-01055243v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Gossple Anonymous Social Network Marin Bertier , Davide Frey , Rachid Guerraoui , Anne-Marie Kermarrec , Vincent Leroy ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.191-211, ⟨10.1007/978-3-642-16955-7_10⟩ Conference papers inria-00515693v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Disappointments and Delights, Fears and Hopes induced by a few decades in Performance Evaluation Raymond Marie Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.1-9, ⟨10.1007/978-3-642-25575-5_1⟩ Conference papers hal-00789638v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory Fatemeh Kazemeyni , Einar Broch Johnsen , Olaf Owe , Ilangko Balasingham 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.95-109, ⟨10.1007/978-3-642-13464-7_9⟩ Conference papers hal-01055142v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		RESTful Integration of Heterogeneous Devices in Pervasive Environments Daniel Romero , Gabriel Hermosillo , Amirhosein Taherkordi , Russel Nzekwa , Romain Rouvoy , 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.1-14, ⟨10.1007/978-3-642-13645-0_1⟩ Conference papers hal-00471922v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		LiFTinG: Lightweight Freerider-Tracking Protocol in Gossip Rachid Guerraoui , Kévin Huguenin , Anne-Marie Kermarrec , Maxime Monod , Swagatika Prusty 11th ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. ⟨10.1007/978-3-642-16955-7_16⟩ Conference papers inria-00505268v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Cost Bounds of Multicast Light-trees in WDM Networks Fen Zhou , Miklos Molnar , Bernard Cousin , Chunming Qiao IFIP Networking conference, May 2010, Chennai, India. pp.339-350, ⟨10.1007/978-3-642-12963-6_27⟩ Conference papers hal-00541058v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases Romain Delamare , Freddy Munoz , Benoit Baudry , Yves Traon 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.250-265, ⟨10.1007/978-3-642-16573-3_18⟩ Conference papers inria-00555069v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Resource Adaptive Distributed Information Sharing Hans Vatne Hansen , Vera Goebel , Thomas Plagemann , Matti Siekkinen 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.246-255, ⟨10.1007/978-3-642-13971-0_24⟩ Conference papers hal-01056491v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More