Lecture Notes in Computer Science 3747
|
|
- Marianna Simpson
- 8 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 3747 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
2 Carlos Alberto Maziero João Gabriel Silva Aline Maria Santos Andrade Flávio Morais de Assis Silva (Eds.) Dependable Computing Second Latin-American Symposium, LADC 2005 Salvador, Brazil, October 25-28, 2005 Proceedings 13
3 Volume Editors Carlos Alberto Maziero Pontifícia Universidade Católica do Paraná Programa de Pós-Gradução em Informática Aplicada Curitiba PR, Brazil João Gabriel Silva Universidade de Coimbra Dep. Eng. Informatica - Polo II Pinhal de Marrocos, Coimbra, Portugal jgabriel@dei.uc.pt Aline Maria Santos Andrade Flávio Morais de Assis Silva Universidade Federal da Bahia (UFBA) Departamento de Ciência da Computação (DCC) Laboratório de Sistemas Distribuídos (LaSiD) Campus de Ondina - Prédio do CPD, Av. Adhemar de Barros, S/N, CEP , Salvador-BA, Brazil {aline,fassis}@ufba.br Library of Congress Control Number: CR Subject Classification (1998): C.3, C.4, B.1.3, B.2.3, B.3.4, B.4.5, D.2.4, D.2.8, D.4.5, E.4, J.7 ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com Springer-Verlag Berlin Heidelberg 2005 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /
4 Foreword The Latin-American Symposium on Dependable Computing, LADC,is the main Latin-American event dedicated to the discussion of the many issues related to dependability in computer systems and networks. It is a forum for researchers and practitioners (from all over the world) to present and discuss their latest results and experiences in this field. LADC 2005, the second edition of this event, followed on the success of LADC 2003, which took place at the Polytechnic School of the University of São Paulo. It was organized by LaSiD, the Distributed Systems Laboratory associated with the Department of Computer Science of the Federal University of Bahia. LADC 2005 was sponsored by SBC, the Brazilian Computer Society, in cooperation with IEEE TC on Fault-Tolerant Computing, IFIP Working Group 10.4 Dependable Computing and Fault-Tolerance, SADIO, the Argentine Society for Informatics and Operations Research, SCCC, the Chilean Computer Science Society, and SMCC, the Mexican Society for Computer Science. LADC 2005 was structured around technical sessions, keynote speeches and a panel. Two workshops were co-located with LADC 2005: WDAS (Latin-American Workshop on Dependable Automation Systems) and WTD (3rd Workshop on Theses and Dissertations on Dependable Computing). WDAS is a forum where members of academia and industry can meet to discuss specific dependability issues related to automation systems. WTD is a student forum dedicated to the discussion of ongoing and recent work in the field of dependability carried out at graduate level. We would like to thank the LADC 2005 Organizing Committee and the support staff at LaSiD for having helped us with the organizational tasks, the Steering Committee for their advice, and the chairs of the technical committees for their cooperation. A special thank you goes to Raimundo Macêdo and to Rogério de Lemos who were sources of constant support and suggestions. We are also grateful to Raimundo Macêdo for having suggested our names to chair this symposium. Additionally, we would like to thank the invited guests, all the authors of submitted papers, the support provided by CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior), the sponsoring partners, and Springer for accepting to publish the LADC proceedings in the LNCS series. We hope all present at LADC 2005 enjoyed the symposium and their stay in Salvador. October 2005 Aline Maria Santos Andrade Flávio Morais de Assis Silva
5 Preface Welcome to the proceedings of LADC We are very proud of the high-quality program that LADC offered this year in Salvador. It was our privilege to have the opportunity to select from such high-level papers as were submitted to LADC The profile of those submissions clearly shows that the previous (and first) LADC edition in 2003 was successful in setting a high-quality standard that all the prospective authors understood. The 16 accepted papers, chosen from 39 submissions, laid out the guarantee of a technically very rewarding conference. The review process was very careful and selective, and we felt that our mission was that of strengthening the highquality and international character of LADC. The accepted papers are from seven different countries, the majority of them from outside Latin America. The submitted papers had a similar profile, showing that LADC is clearly a conference that, in spite of the focus on Latin America, has a strong international visibility. All papers were reviewed by four members of the Program Committee, and if needed by outside reviewers. The reviews were in general quite detailed, offering significant advice to the authors of accepted papers in preparing the final version, and to the authors of rejected papers in perfecting their work for a future submission. The acceptance decision was taken after a careful evaluation of all reviews, paying a very special attention to the reviews content and not just the proposed numerical scores. Finally, we would like to acknowledge the enthusiastic support of the LADC Steering Committee in all steps of this process, as well as of the Brazilian Computer Society for hosting the web tool supporting the paper submission and selection process. A word is also in order to our institutions, the Pontifícia Universidade Católica do Paraná and the Universidade de Coimbra, without whose support we would not have been able to perform this task. A special thanks goes also to William Sanders and Christof Fetzer for accepting to hold the keynote presentations. Above all, we are confident that LADC 2005 will be remembered as a technically very rewarding conference, for the quality of both the papers and the discussions and contacts in Salvador. October 2005 Carlos Maziero João Gabriel Silva
6 Organizing Committee General Co-chairs: Program Co-chairs: Publication Chair: Publicity Chair: Finance Chair: Local Arrangement Co-chairs: Registration Co-chairs: Tutorial Co-chairs: Workshop Chair: WDAS Co-chairs: WTD Co-chairs: Aline Maria Santos Andrade (UFBA, Brazil) Flávio Morais de Assis Silva (UFBA, Brazil) Carlos Alberto Maziero (PUCPR, Brazil) João Gabriel Silva (UCoimbra, Portugal) George Lima (UFBA, Brazil) Luciano Porto Barreto (UFBA, Brazil) Sergio Gorender (UFBA, Brazil) Marcela Santana (UFBA, Brazil) Sandro Santos Andrade (UFBA, Brazil) Frederico Barboza (UFBA, Brazil) Ivo de Carvalho Peixinho (UFBA, Brazil) Elias Procópio Duarte Jr. (UFPR, Brazil) Sergio Rajsbaum (UNAM, Mexico) Raul Ceretta Nunes (UFSM, Brazil) Herman Augusto Lepikson (UFBA, Brazil) Leandro Buss Becker (UFSC, Brazil) Avelino Zorzo (PUCRS, Brazil) Ingrid Jansch-Pôrto (UFRGS, Brazil) Fabíola Gonçalves P. Greve (UFBA, Brazil) Steering Committee Francisco Brasileiro, Brazil Joni da Silva Fraga, Brazil Rogério de Lemos, UK Raimundo Macêdo, Brazil Eliane Martins (Chair), Brazil Carlos Maziero, Brazil Sergio Rajsbaum, Mexico Taisy Silva Weber, Brazil Flávio M. Assis Silva, Brazil
7 X Organization LADC Program Committee Pedro Mejia Alvarez, Mexico Lorenzo Alvisi, USA Pedro d Argenio, Argentina Jean Arlat, France Marinho Barcellos, Brazil Andrea Bondavalli, Italy Francisco Brasileiro, Brazil João B. Camargo Jr., Brazil Ricardo Cayssials, Argentina Jose Contreras, Chile Mariela Curiel, Venezuela Xavier Défago, Japan Elmootazbellah Elnozahy, USA Joni da Silva Fraga, Brazil Paulo Lício de Geus, Brazil Michel Hurfin, France Ravi Iyer, USA Ingrid Jansch-Pôrto, Brazil Ricardo Jiménez-Peris, Spain Jörg Kaiser, Germany Johan Karlsson, Sweden Kane Kim, USA Jean-Claude Laprie, France Rogério de Lemos, UK Raimundo Macêdo, Brazil José C. Maldonado, Brazil Eliane Martins, Brazil Fernando Pedone, Switzerland Ravi Prakash, USA Michel Raynal, France Cecília M. Rubira, Brazil William H. Sanders, USA Richard Schlichting, USA Paulo Veríssimo, Portugal Pedro Gil Vicente, Spain Raul Weber, Brazil Taisy Weber, Brazil LADC External Referees Jorge Rady Almeida Jr., Brazil Alysson Bessani, Brazil José Eduardo Brandão, Brazil Andrey Brito, Brazil Lásaro Camargos, Brazil Julien Cartigny, Japan Mauro Fonseca, Brazil Shashidhar Gandham, USA Diogo Kropiwiec, Brazil Srikant Kuppa, USA Dorival Leão, Brazil Lau Lung, Brazil Paulo Marques, Portugal Paulo Masiero, Brazil Carlos Maziero, Brazil Neeraj Mittal, USA Mansoor Mohsin, USA Felipe Pereira, Brazil Lívia Sampaio, Brazil Giuliana Santos, Brazil Rodrigo Schmidt, Switzerland Flávio Assis Silva, Brazil João Gabriel Silva, Portugal Henrique Silva, Portugal Adenilso Simão, Brazil Matthias Wiesmann, Japan Organizer Distributed Systems Laboratory (LaSiD), Department of Computer Science (DCC), Federal University of Bahia (UFBA)
8 Organization XI Sponsor Brazilian Computer Society (SBC) In Co-operation with IEEE TC on Fault-Tolerant Computing IFIP Working Group 10.4 Dependable Computing and Fault-Tolerance SADIO, Argentine Society for Informatics and Operations Research SCCC, Chilean Computer Science Society SMCC, Mexican Society for Computer Science
9 Table of Contents Invited Talks Probabilistic Validation of Computer System Survivability William H. Sanders... 1 Timed Asynchronous Distributed Systems Christof Fetzer... 2 WLAN in Automation - More Than an Academic Exercise? Edgar Nett... 4 Evaluation Using Stratified Sampling for Fault Injection Regina Lúcia O. de Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes... 9 A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code João Durães, Henrique Madeira Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico Certification Airborne Software Concerns in Civil Aviation Certification Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano Modelling A Method for Modeling and Testing Exceptions in Component-Based Software Development Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. Fischer Rubira.. 61 Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars Fernando L. Dotti, Odorico M. Mendizabal, Osmar M. dos Santos.. 80
10 XIV Table of Contents The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems Christian Buckl, Alois Knoll, Gerhard Schrott Embedded Systems Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme Hamid R. Zarandi, Seyed Ghassem Miremadi On the Effects of Errors During Boot Mário Zenha-Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems M.Fazeli,R.Farivar,S.Hessabi,S.G.Miremadi Time Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults George Lima, Alan Burns On the Monitoring Period for Fault-Tolerant Sensor Networks Filipe Araújo, Luís Rodrigues Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets Fábio Lima, Raimundo Macêdo Distributed Systems Algorithms Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders Generating Fast Atomic Commit from Hyperfast Consensus Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul Group-Based Replication of On-Line Transaction Processing Servers A.CorreiaJr.,A.Sousa,L.Soares,J.Pereira,F.Moura, R. Oliveira
11 Table of Contents XV Workshops Third Workshop on Theses and Dissertations on Dependable Computing Avelino Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve Latin-American Workshop on Dependable Automation Systems Herman Augusto Lepikson, Leandro Buss Becker Tutorials Software Architectures for Dependable Systems Rogério de Lemos, Paulo Asterio de Castro Guerra Fault-Tolerant Techniques for Concurrent Objects Rachid Guerraoui, Michel Raynal Agreement Protocols in Environments with Temporal Uncertainties Fabíola Gonçalves Pereira Greve Author Index
Lecture Notes in Computer Science 5161
Lecture Notes in Computer Science 5161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3161
Lecture Notes in Computer Science 3161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3422
Lecture Notes in Computer Science 3422 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4746
Lecture Notes in Computer Science 4746 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7850
Lecture Notes in Computer Science 7850 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7554
Lecture Notes in Computer Science 7554 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationISE Satellite Student Regional Symposium - Environmental Electrochemistry Meeting (Semana de Eletroquímica Ambiental (in Portuguese))
ISE Satellite Student Regional Symposium - Environmental Electrochemistry Meeting (Semana de Eletroquímica Ambiental (in Portuguese)) Aim The proposal to hold the Environmental Electrochemistry Meeting
More informationLecture Notes in Computer Science 8703
Lecture Notes in Computer Science 8703 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3599
Lecture Notes in Computer Science 3599 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7021
Lecture Notes in Computer Science 7021 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationFlorianópolis, March 21, 2014. Elizabeth Wegner Karas Organizing Committee
We hereby certify that, Ana Flora Pereira de Castro Humes, USP - Escola Politécnica, participated in the X Brazilian Workshop on Continuous Optimization. Celebrating Clovis Gonzaga's 70th birthday held
More informationLecture Notes in Computer Science 3654
Lecture Notes in Computer Science 3654 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationOPERATOR ALGEBRAS AND QUANTUM PHYSICS A Satellite Conference to the XVIII International Congress on Mathematical Physics.
We hereby certify that Alan Garbarz, from CONICET / IFLP, Universidad de Buenos Aires, Argentina, participated in the Satellite Conference Operator Algebras and Quantum Physics, held at the We hereby certify
More informationValue of IEEE s Online Collections
Value of IEEE s Online Collections Judy H. Brady, IEEE Aveiro, Portugal February 2013 About the IEEE A not-for-profit society World s largest technical membership association with over 400,000 members
More informationJosé M. F. Moura, Director of ICTI at Carnegie Mellon Carnegie Mellon Victor Barroso, Director of ICTI in Portugal www.cmu.
José M. F. Moura, Director of ICTI at Victor Barroso, Director of ICTI in Portugal www.cmu.edu/portugal Portugal program timeline 2005: Discussions and meeting with Ministry of Science Technology, Higher
More informationBahia, October 22, 2011. Paulo Varandas Organizing Committee
We hereby certify that, Alien Herrera Torres, Universidade Federal Fluminense, participated in the Workshop on Dynamical Systems, held at Bahia, Salvador, from October 16 to 22, 2011. We hereby certify
More informationBúzios, December 12, 2012. Jorge Zubelli Organizing Committee
We hereby certify that, Adriano De Cezaro, Fundação Universidade do Rio Grande, participated in the Mathematics & Finance: Research in Options, held at Hotel Atlântico, Búzios - RJ, from December 7 to
More information2 nd Workshop on the Economics of ICTs
2 nd Workshop on the Economics of ICTs March 31 st and April 1 st 2011 University of Évora Organizers: António Brandão, CEF UP Duarte Brito, CEFAGE UE Andreia Dionísio, CEFAGE UE Pedro Pereira, CMU Portugal
More informationJ I C S. ournal of ntegrated ircuits and ystems. Volume 8 Number 1 ISSN 1807-1953. March 2013. www.sbc.org.br/jics www.sbmicro.org.
J I C S ournal of ntegrated ircuits and ystems Volume 8 Number 1 ISSN 1807-1953 March 2013 A 65nm CMOS 60 GHz Class F-E Power Amplifier for WPAN Applications N. Deltimple, S. Dréan, E. Kerhervé, B. Martineau,
More informationSpringer Proceedings in Mathematics & Statistics
Springer Proceedings in Mathematics & Statistics Volume 135 More information about this series at http://www.springer.com/series/10533 Springer Proceedings in Mathematics & Statistics This book series
More informationMARINHO.BARCELLOS@UFRGS.BR GLOBAL PROBLEMS, GLOBAL SOLUTIONS: PROSPECTING OPPORTUNITIES FOR JOINT RESEARCH ON COMPUTER SECURITY
MARINHO.BARCELLOS@UFRGS.BR GLOBAL PROBLEMS, GLOBAL SOLUTIONS: PROSPECTING OPPORTUNITIES FOR JOINT RESEARCH ON COMPUTER SECURITY 2 ACKNOWLEDGEMENTS Thanks to Daniel, Miguel, Rodrigo & Matheus INF/UFRGS,
More information- Instituto Brasileiro de Política e Direito da Informática - IBDI
Contact information 1. Organization's Name: - Instituto Brasileiro de Política e Direito da Informática - IBDI (Brazilian Institute of Policy and Cyberlaw, or Brazilian Institute of IT Law and Legal Policy)
More informationEnhancing Health and. Information Systems and Technologies for. Social Care. Reference. Polytechnic Institute of Leiria, Portugal
Information Systems and Technologies for Enhancing Health and Social Care Ricardo Martinho Polytechnic Institute of Leiria, Portugal Rui Rijo Polytechnic Institute of Leiria, Portugal Maria Manuela Cruz-Cunha
More information11ª Reunião da Sociedade Portuguesa de Neurociências
11ª Reunião da Sociedade Portuguesa de Neurociências 4 6 de Junho, 2009 Local: Braga Comissão Organizadora: Nuno Sousa (Chair) Armando Almeida Patrícia Maciel Joana Palha José Miguel Pêgo João Sousa António
More informationThe Brazilian Academy of Sciences
The Brazilian Academy of Sciences Lucia Mendonça Previato Instituto de Biofísica Carlos Chagas Filho Universidade Federal do Rio de Janeiro February 2011 Country Brazil Population According to the Brazilian
More informationCHANGING INTERNATIONAL INVESTMENT STRATEGIES: THE NEW FORMS OF FOREIGN INVESTMENT IN BRAZIL
9 Originally published by Ipea in January 1982 as number 45 of the series Texto para Discussão. CHANGING INTERNATIONAL INVESTMENT STRATEGIES: THE NEW FORMS OF FOREIGN INVESTMENT IN BRAZIL Eduardo A. Guimarães
More informationLecture Notes in Computer Science 4814
Lecture Notes in Computer Science 4814 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSession 1 Peripheral arterial disease and ulcer: basic principles
Session 1 Peripheral arterial disease and ulcer: basic principles Luís Mota Capitão José Teixeira António Assunção Pedro Paz Dias 9h00 9h08 Clinical evaluation of the arterial patient Joana Carvalho 9h08
More informationUnderstanding Competitive Advantage
Understanding Competitive Advantage Fredrik Nilsson Birger Rapp Understanding Competitive Advantage The Importance of Strategic Congruence and Integrated Control With 44 Figures 4y Springer Professor Dr.
More informationOncology Meetings: Gastric Cancer State of Art March 27 and 28th, 2014
Oncology Meetings: Gastric Cancer State of Art March 27 and 28th, 2014 Meeting Venue: School of Life and Health Science, Minho University Braga, Portugal Campus de Gualtar Room A1 Limited places: 250 places
More informationLecture Notes in Computer Science 3706
Lecture Notes in Computer Science 3706 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSBSC 2012 2012 Brazilian Symposium on Collaborative Systems
SBSC 2012 2012 Brazilian Symposium on Collaborative Systems São Paulo, Brazil 15-18 October 2012 Conference Information Papers by Session Papers by Author Getting Started Search Trademarks Edited by Hugo
More information3 rd National Conference on Science and Technology
República de Angola Ministério da Ciência e Tecnologia 3 rd National Conference on Science and Technology Conference theme: Science, Technology and Innovation at the service of society 2 nd call Luanda,
More informationBúzios, November 25, 2009. Jorge P. Zubelli Coordinator
We hereby certify that Alessandro Martim Marques, Banco Itaú S.a., participated in the Research in Options 2009, held at Hotel Atlântico Búzios, Búzios, RJ, from November 23 to 25, 2009. We hereby certify
More informationVolume 10 Number 1 April 2015
Volume 10 Number 1 April 2015 ISSN 1807-1953 Oxygen Plasma Surface Treatment onto ITO Surface for OLEDs Based on Europium Complex G. Santos, M. R. Cavallari, F. J. Fonseca, and L. Pereira MWCNT Devices
More informationThe Fundamentals of International Legal Business Practice
This course is part of an on-going programme devised by the International Bar Association to assist young lawyers and junior members of the profession with their understanding of the fundamentals of international
More informationLecture Notes in Computer Science 7482
Lecture Notes in Computer Science 7482 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLaw and New Development Strategies: Brazil and Beyond
presents: Law and New Development Strategies: Brazil and Beyond Sponsors: São Paulo Law School of Fundação Getulio Vargas (Direito GV) University of São Paulo (USP), Faculty of Law Institute for Global
More informationLIST OF ATTORNEYS. Maio Island
LIST OF ATTORNEYS Although these attorneys have been chosen with care, the Embassy cannot be responsible for their ability nor can the Embassy accept any financial responsibility. Their names are arranged
More informationand Knowledge Management
Salvador Abreu, Dietmar Seipel (Eds.) Applications of Declarative Programming and Knowledge Management 18th International Conference on Applications of Declarative Programming and Knowledge Management
More information4th LISBON VASCULAR FORUM 4º FORUM VASCULAR DE LISBOA. LISBON MARRIOTT HOTEL 13 and 14 DECEMBER 2013 PROGRAMA PRELIMINAR PRELIMINARY PROGRAM
4th LISBON VASCULAR FORUM 4º FORUM VASCULAR DE LISBOA LISBON MARRIOTT HOTEL 13 and 14 DECEMBER 2013 PROGRAMA PRELIMINAR PRELIMINARY PROGRAM SERVIÇO DE CIRURGIA VASCULAR / CLÍNICA UNIVERSITÁRIA HOSPITAL
More informationMANAGEMENT FUNDAMENTALS
The effective strategic planning and proven execution capability, associated with innovationand value creation-oriented management, are the principles that guide Ultrapar in its growth trajectory. The
More informationInternational Series on Consumer Science
International Series on Consumer Science For further volumes: http://www.springer.com/series/8358 Tsan-Ming Choi Editor Fashion Branding and Consumer Behaviors Scientific Models 1 3 Editor Tsan-Ming Choi
More informationBioactive Essential Oils and Cancer
Bioactive Essential Oils and Cancer Damião Pergentino de Sousa Editor Bioactive Essential Oils and Cancer 1 3 Editor Damião Pergentino de Sousa Federal University of Paraiba João Pessoa, Paraíba Brazil
More informationTOTVS S.A. Corporate Taxpayer s ID (CNPJ/MF) 53.113.791/0001-22 Corporate Registry ID (NIRE) 35.300.153.171
TOTVS S.A. Corporate Taxpayer s ID (CNPJ/MF) 53.113.791/0001-22 Corporate Registry ID (NIRE) 35.300.153.171 MINUTES OF THE BOARD OF DIRECTORS MEETING HELD ON APRIL 23, 2009 1. - DATE, TIME AND PLACE OF
More informationRail Brazil Tech Business Summit Location: Expo Center Norte November 5-7 2013 São Paulo
Rail Brazil Tech Business Summit Location: Expo Center Norte November 5-7 2013 São Paulo Building a New Platform for Brazilian Rail Sector: Political Strategies, Technologies and Cost Reduction Solutions
More informationAngra dos Reis, December 1, 2011. Jorge Zubelli Organizing Committee
We hereby certify that, Alan De Genaro Dario, Bm&Fbovespa, participated in the Mathematics & Finance: Research in Options, held at Hotel do Bosque, Angra dos Reis - RJ, from November 25 to December 1,
More informationCarlos Manuel Rodrigues Machado
Curriculum Vitae PERSONAL INFORMATION Carlos Manuel Rodrigues Machado 4715-152 Braga (Portugal) +351 253055897 +351 967281949 cmachado1974@gmail.com Sex Male Date of birth 21/12/1974 PREFERRED JOB Software
More informationAntónia Lopes FCUL, University of Lisbon
1 Antónia Lopes FCUL, University of Lisbon Consortium CISUSC FCTUT University of Coimbra LASIGE FCUL University of Lisbon INESC-ID Technical University of Lisbon Rogério de Lemos Marco Vieira Javier Cámara
More informationLinguística Aplicada das Profissões
Linguística Aplicada das Profissões VOLUME 16 nº 1-2012 This present volume has been kindness titled by us, editors, Veredas Sarangi. It comes from our decision of setting a publication that could show
More information8:50 Opening statement - Dr. Felipe José Fernández Coimbra (Head of the Department of Abdominal Surgery, Hospital A. C.
IV SYMPOSIUM OF THE GASTROINTESTINAL ONCOLOGY CONTINUING MEDICAL EDUCATION PROGRAM - DEPARTMENT OF ABDOMINAL SURGERY, SURGICAL ONCOLOGY, A. C. CAMARGO CANCER HOSPITAL ESOPHAGOGASTRIC CANCER AND GIST SCIENTIFIC
More informationCarlos Manuel Rodrigues Machado. Industrial Software Development and Research
Curriculum Vitae PERSONAL INFORMATION Carlos Manuel Rodrigues Machado 4715-152 Braga (Portugal) +351 253055897 +351 967281949 cmachado1974@gmail.com Sex Male Date of birth 21/12/1974 PREFERRED JOB Industrial
More informationModular Communication Infrastructure Design with Quality of Service
Modular Communication Infrastructure Design with Quality of Service Pawel Wojciechowski and Péter Urbán Distributed Systems Laboratory School of Computer and Communication Sciences Swiss Federal Institute
More informationINTERNATIONAL SEMINAR. International Criminal Law, the International Criminal Court and the Perspective of the Portuguese Speaking African Countries
INTERNATIONAL SEMINAR International Criminal Law, the International Criminal Court and the Perspective of the Portuguese Speaking African Countries Lisbon, 31 October and 1 November 2013 Academic Coordination:
More informationPortuguese Research Institutions in History
José Luís Cardoso Technical University of Lisbon jcardoso@iseg.utt.pt Luís Adão da Fonseca University of Porto lfonseca@letras.up.pt The growth in historical research in Portugal over the last two decades
More informationFunding and Human Resources
Funding and Human Resources Corrected Budget Income Uncollected Income Euro Operating Costs: (OF) Investment Costs: (PIDDAC) OE/OF 5.876. 5.876. R&D Projects 4.752.642 4.636.482 116.16 Services 1.. 732.296
More informationSpatial Data on the Web
Spatial Data on the Web Alberto B elussi B arbara Catania Eliseo Clementini Elena F errari (Eds.) Spatial Data on the Web Modeling and Management With 111 F igures 123 Editors Alberto Belussi University
More informationVbam - Byzantine Atomic Multicast in LAN Based on Virtualization Technology
Vbam - Byzantine Atomic Multicast in LAN Based on Virtualization Technology Marcelo Ribeiro Xavier Silva, Lau Cheuk Lung, Leandro Quibem Magnabosco, Luciana de Oliveira Rech 1 Computer Science Federal
More informationThe Product Manager s Toolkit
The Product Manager s Toolkit Gabriel Steinhardt The Product Manager s Toolkit Methodologies, Processes and Tasks in High-Tech Product Management ISBN 978-3-642-04507-3 e-isbn 978-3-642-04508-0 DOI 10.1007/978-3-642-04508-0
More informationKnowledge Discovery from Data Bases Proposal for a MAP-I UC
Knowledge Discovery from Data Bases Proposal for a MAP-I UC P. Brazdil 1, João Gama 1, P. Azevedo 2 1 Universidade do Porto; 2 Universidade do Minho; 1 Knowledge Discovery from Data Bases We are deluged
More informationManagement through the
Handbook of Research on Effective Project Management through the Integration of Knowledge and Innovation George Lealjamil Informagöes em Rede, Brazil Sergio Maravilhas Lopes CETAC.MEDIA - Porto and Aveiro
More informationAutomated Firewall Analytics
Automated Firewall Analytics Ehab Al-Shaer Automated Firewall Analytics Design, Configuration and Optimization 123 Ehab Al-Shaer University of North Carolina Charlotte Charlotte, NC, USA ISBN 978-3-319-10370-9
More information======================================= First Call for Abstracts =======================================
Sponsors: First Call for Abstracts Dear Colleagues, the organizers of the EURO mini-conference on Optimization in the Natural Sciences (EURO mini 2014) have a pleasure to invite you to take part in this
More information2012 31st International Conference of the Chilean Computer Science Society
2012 31st International Conference of the Chilean Computer Science Society (SCCC 2012) Valparaiso, Chile 12 16 November 2012 IEEE Catalog Number: ISBN: CFP12139-POD 978-1-4799-2939-9 2012 31st International
More informationBúzios, December 5, 2013. Jorge Zubelli Organizing Committee
We hereby certify that, Alberto Moraes Marques, Petróleo Brasileiro S/a, participated in the Mathematics & Finance: Research in Options, held at Pérola Búzios Hotel, Búzios - RJ, from November 30 to December
More informationComputer Science Department Federal University of Minas Gerais
Computer Science Department Federal University of Minas Gerais Center of Excelence in Information Tecnology Outline Overview UFMG The Computer Science Department Research and Graduate Studies in Computer
More information6th Workshop on the Economics of ICTs
6th Workshop on the Economics of ICTs April 9 th and 10 th, 2015 University of Évora (Room 131) http://www.cefage.uevora.pt/pt/eventos/conferencias_internacionais/6th_workshop_on_the_economics_of_icts
More informationUniversity of São Paulo School of Economics, Business Administration and Accounting at Ribeirão Preto
University of São Paulo School of Economics, Business Administration and Accounting at Ribeirão Preto The University of São Paulo Praça do Relógio - Clock Square Established in January 25th, 1934; Public
More information0845-1000 Keynote Making Sound Cyber Security Decisions through a Quantitative Metrics Approach" William H. Sanders (University of Illinois, USA)
Full Program Monday, April 25 0800-0830 Reception 0830-1200 Workshop: RACI 0830-0845 Welcome 0845-1000 Keynote Making Sound Cyber Security Decisions through a Quantitative Metrics Approach" William H.
More informationSchool of Economics, Business Administration and Accounting at Ribeirão Preto. University of São Paulo
School of Economics, Business Administration and Accounting at Ribeirão Preto University of São Paulo University of São Paulo Established in January 25th, 1934 Public University maintained by the State
More informationSpringer-Verlag Berlin Heidelberg GmbH
Information Systems Outsourcing Springer-Verlag Berlin Heidelberg GmbH Rudy Hirschheim Armin Heinzl. Jens Dibbern Editors Information Systems Outsourcing Enduring Themes, Emergent Patterns and Future Directions
More information2 Latin American Meeting
13 Congress of e Brazilian Society nd 2 Latin American Meeting of LABORATORY ANIMAL SCIENCE April 14 to 16, 2014 Events Center www.sbcal2014.com.br Realization Support Organizer 13 Congress of e Brazilian
More informationMaster Degree in Systems and Automation Engineering Engineering Department - Universidade Federal de Lavras
History Since 2007 Main areas: Electrical Engineering and Biomedical Engineering Lines of research: Computational Intelligence, Modeling, Systems Automation; Signal Processing, Instrumentation and Vision
More informationLecture Notes in Computer Science 4606
Lecture Notes in Computer Science 4606 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe Optimistic Total Order Protocol
From Spontaneous Total Order to Uniform Total Order: different degrees of optimistic delivery Luís Rodrigues Universidade de Lisboa ler@di.fc.ul.pt José Mocito Universidade de Lisboa jmocito@lasige.di.fc.ul.pt
More informationNürtingen-Geislingen University
Nürtingen-Geislingen University XV International Business and Economy Conference Stuttgart Metropolitan Region, Nürtingen, Germany, January 6-9, 2016 http://www.ibec-info.org/2016/ Hosting Institution:
More information1st SEMESTER (beginning in September) Code Course Year ECTS Degree Lecturer Group(s) in English
1st SEMESTER (beginning in September) Code Course Year ECTS Degree Lecturer Group(s) in English Level: Bachelor (open to students at all levels) L1805 Marketing Management 1 6 Ralitza Nikolaeva GAi L5004
More informationRui Jorge Pereira Gonçalves. December 4, 1979, Porto Paranhos. Portuguese. Regularized
1. IDENTIFICATION 1.1 PERSONAL DATA Name: Date of birth: Nationality : ID: Military Service: Rui Jorge Pereira Gonçalves December 4, 1979, Porto Paranhos Portuguese BI n.º 11499030, emitted at February
More informationCurriculum Vitae. January, 2005
Curriculum Vitae January, 2005 Paulo Jorge Marques de Oliveira Ribeiro Pereira Invited Assistant Lecturer Management Department School of Economics and Management University of Minho Office: University
More informationClaudio L. S. Haddad Joaquim Levy Marcos Lisboa Naercio Aquino Menezes Filho. Rinaldo Artes
Center for Public Policies - CPP Annual Report 2011 Advisory Board Claudio L. S. Haddad Joaquim Levy Marcos Lisboa Naercio Aquino Menezes Filho Ricardo Paes de Barros Rinaldo Artes Board of Directors President
More informationA Preliminary Analysis of the Scientific Production of Latin American Computer Science Research Groups
A Preliminary Analysis of the Scientific Production of Latin American Computer Science Research Groups Juan F. Delgado-Garcia, Alberto H.F. Laender and Wagner Meira Jr. Computer Science Department, Federal
More informationBúzios, March 05, 2010. Marcelo Viana Organizing Committee
We hereby certify that, Alejandro, Passeggi, Centro de Matematica-Facultad de Ciencias, participated in the International Conference on Dynamical Systems. Celebrating Jacob Palis 70 th birthday, held at
More informationJava and the Java Virtual Machine
Java and the Java Virtual Machine Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Robert F. SHirk Joachim Schmid Egon Borger Java and the Java Virtual Machine
More informationEuropean Strategy and Policy Analysis System (ESPAS) Pilot Study
European Strategy and Policy Analysis System (ESPAS) Pilot Study Brazil and Latin America Conference Report 1 September 2011 1. ACTIVITY The ESPAS Regional Conference on Brazil and South America, titled
More informationCourse Facebook Infectious Diseases Course
Course Facebook Infectious Diseases Course Students from HSPH Adeline Boatin ABOATIN@hsph.harvard.edu Amelia Rock Master of Science Candidate, HSPH arock@hsph.harvard.edu Amie Shei Ph.D. Candidate, Health
More informationResearchGate: https://www.researchgate.net/profile/r_barros
Identification Name: Ricardo Freitas Lima da Silva Barros Date of birth: 31-01-1980 Nationality: Portuguese Marital status: Single Cellphone: (+351) 916 600 441 E-mail: RSBarros31@gmail.com Skype: RS_Barros
More informationDataStorm: Large-Scale Data Management in Cloud Environments
DataStorm: Large-Scale Data Management in Cloud Environments INESC-ID Data Management & Information Retrieval Group 1st DataStorm Workshop DataStorm W01: Outline Task H1 1 Task H1: Data Acquisition and
More informationJarbas Nunes Vidal Filho Curriculum Vitae
Jarbas Nunes Vidal Filho Curriculum Vitae June/2014 Jarbas Nunes Vidal Filho Curriculum Vitae Personal data Name Gender Birth Jarbas Nunes Vidal Filho Masculine 31/07/1986 - Limoeiro Do Norte - Ceará -
More informationSoftware Process Automation
Software Process Automation Alan M. Christie Software Process Automation The Technology and Its Adoption With 48 Figures and 19Tables Springer Alan M. Christie Software Engineering Institute Carnegie Mellon
More informationAML/19.0901/06/18414/II-0545-FA-FCD-FI SUPPORT (Sustainable Use of Photosynthesis Products & Optimum Resource Transformation)
Grant-holder mobility throughout the three years of SUPPORT Project Project N : Project Title: AML/19.0901/06/18414/II-0545-FA-FCD-FI SUPPORT (Sustainable Use of Photosynthesis Products & Optimum Resource
More informationDIOGO SOUSA BATISTA. diogo@sousabatista.com. Sousa Batista & Associados Sociedade de Advogados, R.L.
DIOGO SOUSA BATISTA diogo@sousabatista.com - Corporate / M&A - Financial and banking - Real estate and construction - Private equity - Restructuring and insolvency - Spanish Tânia Rocha tania@sousabatista.com
More informationCyber-Physical System Security of the Power Grid
Course on: Cyber-Physical System Security of the Power Grid April 9-11, 2013 at KTH Royal Institute of Technology, Stockholm, Sweden Background Cyber Security is essential to today s power grid operation
More informationTHE ECONOMIC AND FINANCIAL CRISIS In EUROPE: On the Road to Recovery? European Lawyers Union XXVII General Congress. Lisbon, 27-29 June 2013
European Lawyers Union XXVII General Congress THE ECONOMIC AND FINANCIAL CRISIS In EUROPE: On the Road to Recovery? Lisbon, 27-29 June 2013 João Morais Leitão Auditorium Rua Castilho, 165 Friday 28 June
More informationHUMAN AND SOCIAL SCIENCES MULTI-USER EQUIPMENT ADVANCED TECHNOLOGY TO REACH OF RESEARCHERS. Human and Social Sciences SÃO PAULO RESEARCH FOUNDATION
HUMAN AND SOCIAL SCIENCES MULTI-USER EQUIPMENT ADVANCED TECHNOLOGY TO REACH OF RESEARCHERS Human and Social Sciences SÃO PAULO RESEARCH FOUNDATION 1 Multi-user Equipment Humanities ACQUISITION OF EDITING
More informationTOTVS S.A. Corporate Taxpayer s ID (CNPJ/MF) 53.113.791/0001-22 Corporate Registry ID (NIRE) 35.300.153.171
TOTVS S.A. Corporate Taxpayer s ID (CNPJ/MF) 53.113.791/0001-22 Corporate Registry ID (NIRE) 35.300.153.171 MINUTES OF THE BOARD OF DIRECTORS MEETING HELD ON MARCH 24, 2011 1. - DATE, TIME AND PLACE OF
More informationwww.unican.es/catprocon
www.unican.es/catprocon UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO Primada de América LEGAL PROTECTION OF CONSUMERS AS AN INSTRUMENT FOR ECONOMIC DEVELOPMENT II Euroamerican Conference on Legal Protection of
More informationOptimized Certificates A New Proposal for Efficient Electronic Document Signature Validation
Optimized Certificates A New Proposal for Efficient Electronic Document Signature Validation Martín Augusto G. Vigil Ricardo Felipe Custódio Joni da Silva Fraga Juliano Romani Fernando Carlos Pereira Federal
More informationAnd so Scientia Agricola has gone international...
And so Scientia Agricola has gone international... 1st Brazil-China Bilateral Meeting on STM Publishing São Paulo, 05/23/14 Luís Reynaldo Ferracciú Alleoni Editor-in-Chief Universidade de São Paulo University
More informationLecture Notes in Computer Science 4100
Lecture Notes in Computer Science 4100 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More information