Search - IFIP Open Digital Library Access content directly

Filter your results

19 959 results
level0_domain_s : Computer Science [cs]
Page :
sorted by
Image document

From Assertion-based Verification to Assertion-based Synthesis

 Y. Oddos , Katell Morin-Allory , D. Borrione
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.94-117, ⟨10.1007/978-3-642-23120-9_6⟩
Conference papers hal-01478893v1
Image document

Informal Introduction to ALGOL 68

 C. H. Lindsey , S. G. van Der Meulen
North-Holland, pp.370, 1977, 0720407265
Books hal-03027689v1
Image document

Enhancing Electromagnetic Attacks using Spectral Coherence based Cartography

 Amine Dehbaoui , Victor Lomné , Philippe Maurine , Lionel Torres , Michel Robert
VLSI-SoC 2009 - 17th IFIP International Conference on Very Large Scale Integration, Oct 2009, Florianopolis, Brazil. pp.11-16, ⟨10.1109/VLSISOC.2009.6041323⟩
Conference papers lirmm-00429342v1
Image document

On the Evolution of Component-based Software

 Isabelle Coté , Maritta Heisel , Jeanine Souquières
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
Conference papers inria-00431436v1
Image document

A Novel Framework for Data Registration and Data Fusion in Presence of Multi-modal Sensors

 Hadi Aliakbarpour , Joao Filipe Ferreira , Kamrad Khoshhal , Jorge Dias
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.207-314, ⟨10.1007/978-3-642-11628-5_33⟩
Conference papers hal-01060753v1
Image document

Bio-inspired Binocular Disparity with Position-Shift Receptive Field

 Fernanda C. E C. Faria , Jorge Batista , Helder Araújo
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.349-356, ⟨10.1007/978-3-642-11628-5_38⟩
Conference papers hal-01060758v1
Image document

GADISI - Genetic Algorithms Applied to the Automatic Design of Integrated Spiral Inductors

 Pedro Pereira , M. Helena Helena Fino , Fernando V. Coito , Mário Ventim-Neves
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.513-520, ⟨10.1007/978-3-642-11628-5_57⟩
Conference papers hal-01060777v1
Image document

Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction

 Darko Brodić
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.140-152, ⟨10.1007/978-3-642-15240-5_11⟩
Conference papers hal-01054463v1
Image document

Improvement of Robotic Micromanipulations Using Chemical Functionalisations

 Jérôme Dejeu , Patrick Rougeot , Michaël Gauthier , Wilfrid Boireau
5th IFIP WG 5.5 International Precision Assembly Seminar (IPAS), Feb 2010, Chamonix, France. pp.215-221, ⟨10.1007/978-3-642-11598-1_25⟩
Conference papers hal-01055682v1
Image document

Informatics Systems and Modelling - Case Studies of Expert Interviews

 Leopold Lehner , Johannes Magenheim , Wolfgang Nelles , Thomas Rhode , Niclas Schaper , et al.
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.222-233, ⟨10.1007/978-3-642-15378-5_22⟩
Conference papers hal-01054698v1
Image document

Integration of a Video Annotation Tool into a coactive Learning and Working Environment

 Johannes Magenheim , Wolfgang Reinhardt , Alexander Roth , Matthias Moi , Dieter Engbring
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.257-268, ⟨10.1007/978-3-642-15378-5_25⟩
Conference papers hal-01054695v1
Image document

Civil Servants' Internet Skills: Are They Ready for E-Government?

 A.J.A.M. van Deursen , J.A.G.M. van Dijk
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.132-143, ⟨10.1007/978-3-642-14799-9_12⟩
Conference papers hal-01059171v1
Image document

Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions

 Ronald Kainda , Ivan Flechais , A. W. Roscoe
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.308-315, ⟨10.1007/978-3-642-12368-9_24⟩
Conference papers hal-01056076v1
Image document

Digital Personae and Profiles as Representations of Individuals

 Arnold Roosendaal
5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School(PRIMELIFE), Sep 2009, Nice, France. pp.226-236, ⟨10.1007/978-3-642-14282-6_18⟩
Conference papers hal-01061068v1
Image document

Sharing Data for Public Security

 Michele Bezzi , Gilles Montagnon , Vincent Salzgeber , Slim Trabelsi
5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School(PRIMELIFE), Sep 2009, Nice, France. pp.188-197, ⟨10.1007/978-3-642-14282-6_15⟩
Conference papers hal-01061070v1
Image document

Distributed Fault Tolerant Controllers

 Leonardo Mostarda , Rudi Ball , Naranker Dulay
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.141-154, ⟨10.1007/978-3-642-13645-0_11⟩
Conference papers hal-01061089v1
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

Digital Certificate Management for Document Workflows in E-Government Services

 Florin Pop , Ciprian Dobre , Decebal Popescu , Vlad Ciobanu , Valentin Cristea
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.363-374, ⟨10.1007/978-3-642-14799-9_31⟩
Conference papers hal-01056575v1
Image document

Mining NetFlow Records for Critical Network Activities

 Shaonan Wang , Radu State , Mohamed Ourdane , Thomas Engel
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.135-146, ⟨10.1007/978-3-642-13986-4_20⟩
Conference papers hal-01056635v1
Image document

A Filter-Based Evolutionary Approach for Selecting Features in High-Dimensional Micro-array Data

 Laura Maria Cannas , Nicoletta Dessì , Barbara Pes
6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.297-307, ⟨10.1007/978-3-642-16327-2_36⟩
Conference papers hal-01060366v1
Image document

Use of ePassport for Identity Management in Network-Based Citizen-Life Processes

 Pravir Chawdhry , Ioannis Vakalis
5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School(PRIMELIFE), Sep 2009, Nice, France. pp.122-133, ⟨10.1007/978-3-642-14282-6_10⟩
Conference papers hal-01061141v1
Image document

Miniaturization of Flexible Screwing Cell

 Asser Vuola , Riku Heikkilä , Timo Prusi , Mikko Remes , Petri Rokka , et al.
5th IFIP WG 5.5 International Precision Assembly Seminar (IPAS), Feb 2010, Chamonix, France. pp.309-316, ⟨10.1007/978-3-642-11598-1_36⟩
Conference papers hal-01055670v1
Image document

Modular and Generic Control Software System for Scalable Automation

 Christian Brecher , Martin Freundt , Daniel Schöllhorn
5th IFIP WG 5.5 International Precision Assembly Seminar (IPAS), Feb 2010, Chamonix, France. pp.263-270, ⟨10.1007/978-3-642-11598-1_31⟩
Conference papers hal-01055675v1
Image document

Hypergraph of Services for Business Interconnectivity and Collaboration

 Alida Esper , Youakim Badr , Frédérique Biennier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.571-578, ⟨10.1007/978-3-642-16358-6_71⟩
Conference papers hal-01055807v1
Image document

The Concept of Modularisation of Industrial Services

 Fabrice Seite , Oliver Schneider , Andreas Nobs
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.555-562, ⟨10.1007/978-3-642-16358-6_69⟩
Conference papers hal-01055810v1
Image document

Pro-Active Service Entity Framework for a Better Mapping between Business and Software

 Tiago Cardoso , Luis M. Camarinha-Matos
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.451-460, ⟨10.1007/978-3-642-15961-9_54⟩
Conference papers hal-01055960v1
Image document

A Competence-Based Collaborative Network: The West Midlands Collaborative Commerce Marketplace

 Yen Cheung , Helana Scheepers , Mark Swift , Vincent Lee , Jay Bal
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.380-387, ⟨10.1007/978-3-642-15961-9_45⟩
Conference papers hal-01055970v1
Image document

OSS 2010 Doctoral Consortium (OSS2010DC)

 Walt Scacchi , Kris Ven , Jan Verelst
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.427-428, ⟨10.1007/978-3-642-13244-5_45⟩
Conference papers hal-01056026v1
Image document

Workshop - Open Source Software for Computer Games and Virtual Worlds: Practice and Future

 Per Backlund , Björn Lundell , Walt Scacchi
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.419-420, ⟨10.1007/978-3-642-13244-5_41⟩
Conference papers hal-01056030v1
Image document

An Exploratory Long-Term Open Source Activity Analysis: Implications from Empirical Findings on Activity Statistics

 Toshihiko Yamakami
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.395-400, ⟨10.1007/978-3-642-13244-5_37⟩
Conference papers hal-01056035v1
Page :