Non-functional Properties in Modeling: Analysis, Languages and Processes
|
|
- Corey Ryan
- 5 years ago
- Views:
Transcription
1 Simona Bernardi Marko Bošković José Merseguer Non-functional Properties in Modeling: Analysis, Languages and Processes 5th International Workshop NiM-ALP 2013 Miami, FL, USA, 29 September 2013 Proceedings CEUR Workshop Proceedings Volume 1074
2 Editors: Simona Bernardi Centro Universitario de la Defensa, Academia General Militar, Zaragoza, Spain Marko Bošković Research Studios, Austria José Merseguer Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Spain jmerse@unizar.es Online available as CEUR Workshop Proceedings (ISSN: ), Volume 1074, BibT E X editor = {Simona Bernardi, Jos\ e Merseguer and Marko Bo\v{s}kovi\ {c}}, title = {Proceedings of the 5th International Workshop on Non-functional Properties in Modeling: Analysis, Languages and Processes, satellite workshop of MODELS 2013, Miami, FL, USA, Sept. 29, 2013}, booktitle = {Non-functional Properties in Modeling: Analysis, Languages and Processes}, location = {Miami, FL, USA}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, volume = {Vol-1074}, year = {2013}, url = { } Copyright c 2013 for the individual papers by the papers authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors. Re-publication of material from this volume requires permission by the copyright owners.
3 Preface These proceedings contain five peer-reviewed contributions as well as an invited position paper of the Fifth International Workshop on Non-functional Properties in Modeling: Analysis, Languages and Processes, held as a satellite workshop of MODELS 2013, in Miami (FL), USA, on September 29, The NIM-ALP workshop series (previously NFPinDSML) brings together researchers and practitioners that explore specification and analysis of non functional requirements (NFR) and estimation, final evaluation, and certification of non functional properties (NFPs) of software systems during the design based on Model Driven Engineering principles. The main objective is to provide synergies of process engineering, software language engineering, requirements engineering, software analysis and simulation, and model transformation to enable the development of systems that optimally and certifiably meet NFRs. We received two types of contributions: position and full-technical research papers. All submissions have been reviewed by three reviewers coming from or being recommended by the workshop s Program Committee. The five accepted peer-reviewed papers (with an acceptance rate of 62%) involve 15 authors coming from five different countries. In summary, the workshop proceedings enclose both theoretical and application papers. The latter addressing automotive and factory automation domains. The workshop programme was complemented by the invited talk Continual Verification of Non-Functional Properties in Cloud-Based Systems given by Radu Calinescu from the Department of Computer Science, University of York (UK). For more details see the workshops website: We acknowledge substantial support by the EasyChair management system, see during the reviewing process. November, 2013 Simona Bernardi Marko Bošković José Merseguer
4 Program Committee Silvia Abrahão, Universitat Politècnica de València, Spain Ebrahim Bagheri, Ryerson University, Canada Luca Berardinelli, University of L Aquila, Italy Radu Calinescu, University of York, UK Daniela Cancila, CEA LIST, France Gugliemo De Angelis, ISTI-CNR, Italy Geri Georg, Colorado State University, USA Sébastien Gerard, CEA LIST, France Jeff Gray, University of Alabama, USA Marco Gribaudo, Politecnico di Milano, Italy Christian Huemer, Vienna University of Technology, Austria Hardi Hungar, German Aerospace Center (DLR), Institute of Transportation Systems, Germany Emilio Insfrán, Universitat Politècnica de València, Spain Jan Jürjens, Dortmund University of Technology & Fraunhofer ISST, Germany Gerti Kappel, Vienna University of Technology, Austria Raimund Kirner, University of Herdfordshire, UK Philip Langer, Vienna University of Technology, Austria Stefano Marrone, Second University of Naples, Italy Raffaela Mirandola, Politecnico di Milano, Italy Gunter Mussbacher, University of Ottawa, Canada Claus Pahl, Dublin City University, Ireland Richard Paige, University of York, UK Diego Pérez, Politecnico di Milano, Italy Ivan Porres, Åbo Akademi University, Finland Bernhard Rumpe, RWTH Aachen University, Germany Gunter Saake, University of Magdeburg, Germany Bernhard Schätz, Munich University of Technology, Germany Norbert Siegmund, University of Magdeburg, Germany Juha-Pekka Tolvanen, MetaCase, Finland Javier Troya, University of Malaga, Spain Andreas Winter, Carl von Ossietzky University, Germany Steffen Zschaler, Kings College London, UK
5 Additional Reviewers Dimitri Plotnikov, RWTH Aachen University, Germany Ernest Wozniak, CEA LIST, France Martin Fleck, Vienna University of Technology, Austria
6 Author Index Berardinelli, Luca, 6 Calinescu, Radu, 1 Cortellessa, Vittorio, 6 Costa Silva, Gabriel, 1 Fleck, Martin, 6 Gerasimou, Simos, 1 Getir, Sinem, 32 Grunske, Lars, 32 Israr, Toqeer, 16, 24 Johnson, Kenneth, 1 Langer, Philip, 6 Mayerhofer, Tanja, 6 Oliveira da Pehan, Dulcineia, 40 Pehlivanov, Stanimir, 1 Rafiq, Yasmin, 1 Tichy, Matthias, 32 van Hoorn, André, 32 von Bochmann, Gregor, 16, 24 Weiss, Gereon, 40
7 Table of Contents Continual Verification of Non-Functional Properties in Cloud-Based Systems Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, and Stanimir N. Pehlivanov Resource Contention Analysis of Cloud-based System through fuml-driven Model Execution Martin Fleck, Luca Berardinelli, Philip Langer, Tanja Mayerhofer, and Vittorio Cortellessa Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outputs Toqeer Israr and Gregor v. Bochmann Stochastic Performance Analysis of Distributed Activities Toqeer Israr and Gregor v. Bochmann Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System 32 Sinem Getir, André van Hoorn, Lars Grunske, and Matthias Tichy Integrated Timing Analysis in the Model-Driven Design of Automotive Systems Dulcineia Oliveira da Penha and Gereon Weiss
OCL th International Workshop on OCL and Textual Modeling
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems October 2 October 7, 2016 Saint-Malo (France) OCL 2016 16th International Workshop on OCL and Textual Modeling Workshop
More informationCoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2014 2nd International Workshop on Cultures of Participation in the Digital Age: Social computing for Working, Learning, and Living CoPDA 2014 Como,
More informationCoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload
More informationWelcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.
Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer
More informationMay 6, 2015 Montréal, QC, Canada. Proceedings of the 1st International Workshop on
May 6, 2015 Montréal, QC, Canada CobRA 15 Proceedings of the 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures Sponsored by: ACM SIGSOFT Supported
More informationHomepage: volpe. Curriculum Vitae
Marco Volpe Dipartimento di Informatica Università di Verona Strada Le Grazie, 15 37134 Verona, Italy E-mail: marco.volpe@univr.it Homepage: http://profs.sci.univr.it/ volpe Curriculum Vitae Current Position
More informationStefano Bistarelli, Andrea Formisano, Marco Maratea (Eds.)
Stefano Bistarelli, Andrea Formisano, Marco Maratea (Eds.) RCRA 2016 Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial
More informationArchitecture: Non-Functional Properties. in Service Oriented. Requirements, Models and. Methods REFERENCE. Berlin, Germany.
Berlin, NonFunctional Properties in Service Oriented Architecture: Requirements, Models and Methods Nikola Milanovic Model Labs Germany INFORMATION SCIENCE REFERENCE REFERENCE Hershey New York La La Table
More informationOrganizational Economics, Personnel Economics, Behavioral Economics
CURRICULUM VITAE Professor Dr. Jenny Kragl Professor of Economics (Microeconomics) EBS Universität für Wirtschaft und Recht EBS Business School Department of Management & Economics Rheingaustr. 1 D - 65375
More informationIntelligent Primary School Project in Italy
Please cite this paper as: Ponti, G. (2007), Intelligent Primary School Project in Italy, PEB Exchange, Programme on Educational Building, 2007/02, OECD Publishing, Paris. http://dx.doi.org/10.1787/255378247044
More informationPROCEEDINGS ARCHITECTURE, ARCHAEOLOGY AND CONTEMPORARY CITY PLANNING. State of knowledge in the digital age. Valencia, Spain th May 2015
Valencia, Spain 18-20 th May 2015 ARCHITECTURE, ARCHAEOLOGY AND CONTEMPORARY CITY PLANNING State of knowledge in the digital age PROCEEDINGS editors: Giorgio Verdiani Per Cornell Pablo Rodriguez-Navarro
More informationDESIGNING DESIGNERS 2002 International conference of university courses in Design
DESIGNING DESIGNERS 2002 International conference of university courses in Design Promoted by the Faculty of Design, Politecnico di Milano Organized by Fondazione Cosmit Eventi Under the patronage of Federlegno
More informationCoPDA Barbara Rita Barricelli Gerhard Fischer Daniela Fogli Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Gerhard Fischer Daniela Fogli Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) CoPDA 2018 5th International Workshop on Cultures of Participation in the Digital Age: Design
More information17 th International Configuration Workshop
17 th International Configuration Workshop Proceedings of the 17th International Configuration Workshop Edited by Juha Tiihonen, Andreas Falkner, and Tomas Axling September 10-11, 2015 Vienna, Austria
More information*Senior Editor Masayusa Ohtsu Kumamoto University, Graduate School of Science and Technology, Kumamoto, Japan
An international forum for the dissemination of research and development in the field of construction and building materials and their application in new works and repair practice. *Senior Editor Masayusa
More informationMODSIM07 MODSIM05 MODSIM03 MODSIM01 MODSIM99 MODSIM97 MODSIM95
This imag e cann ot cur MODSIM05 MODSIM03 MODSIM01 MODSIM99 MODSIM97 MODSIM95 MSSANZ Land, Water and Environmental Management: Integra Sustainability The congress theme of "Land, Water andd Environmental
More informationIS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS?
IS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS? Ronan Lyons, Department of Economics, Trinity College Dublin Dublin Economics Workshop Annual Conference Wexford, September 2017 DEW Annual Conference,
More informationHow to define threshold households in different big German and European cities?
Presented at the FIG Working Week 2017, May 29 - June 2, 2017 in Helsinki, Finland How to define threshold households in different big German and European cities? FIG Working Week 2017 Helsinki Finland
More informationHousing markets, wealth and the business cycle
Housing markets, wealth and the business cycle Nathalie Girouard copyright with the author OECD Economics Department DG ECFIN workshop: Housing and mortgage markets and the EU economy Brussels, 21 November
More informationOctober October FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium. October October Sep.
Alessandro Vignati Curriculum Vitae Positions October 2018 - October 2021 FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium October 2017- October 2018 Postdoctoral Fellow at IMJ-PRG - Institut de Mathématiques
More informationPast General Conferences
Past General Conferences 2016 Milan, Italy 3-9 July 2016 Twenty-fourth General Conference Theme: Museums and Cultural Landscapes Videos Photos Final report 2013 Rio de Janeiro, Brazil 10-17 August 2013
More informationCurriculum Vitae. December 2, 2015
Curriculum Vitae December 2, 2015 Name: Matti Juhani Lassas Date and place of birth: 1969, Helsinki, Finland. Contact information Department of Mathematics and Statistics, University of Helsinki, P.O.
More informationActivities of the German Node 2011/12
Activities of the German Node 2011/12 MP Planning Committee Meeting Toronto, July 2012 Cornelia Daheim Managing Partner, Node Chair, German Node German Node Background Founded officially in 2003; cooperation
More information5 th International Conference on Material Modelling
FIRST ANNOUNCEMENT 5 th International Conference on Material Modelling (ICMM5) June 13-16, 2017 International Research Center M&MoCS The International Research Center on Mathematics and Mechanics of Complex
More informationHigher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel
Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel Israel is a small and densed country. Israel is a small country with a total area of 21,000 sq.km. and population of 7.2 million
More informationUNECE. Models, challenges and trends in social housing in the UNECE region. Preparation of the UNECE policy brief on social housing
Models, challenges and trends in social housing in the UNECE region Preparation of the UNECE policy brief on social housing UNECE Orna Rosenfeld, UNECE Senior Housing Expert Models, challenges and trends
More informationWelcome to ICIQ 2009 International Conference on Information Quality
Welcome to ICIQ 2009 International Conference on Information Quality November 7-8 Hasso Plattner Institute, Potsdam, Germany Felix Naumann The HPI Hasso Plattner Institut 2 Founded in 1998 as a Public
More informationLecture Notes in Computer Science 5581
Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEcosystem. a member of the ECHAlliance International Ecosystem Network. Brian O Connor, Chair, European Connected Health Alliance
Ecosystem a member of the ECHAlliance International Ecosystem Network Brian O Connor, Chair, European Connected Health Alliance Permanent International Ecosystem Network ECOSYSTEMS break down silos, transform
More informationLecture Notes in Computer Science 3511
Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationHandbook of Research on Social, Economic, and Environmental Sustainability in the Development of Smart Cities
Handbook of Research on Social, Economic, and Environmental Sustainability in the Development of Smart Cities Andrea Vesco Istituto Superiore Mario Boella, Italy Francesco Ferrero Istituto Superiore Mario
More informationInternational Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France
International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers
More informationGlobal Perspectives on. Accounting in the Public
Global Perspectives on Risk Management and Accounting in the Public Sector Augusta da Concei^äo Santos Ferreira Graga Maria do Carmo Azevedo Jonas da Silva Oliveira Instituto Universitärio de Lisboa (ISCTE-IUL),
More informationThe Scottish Reforms in an International Context
The Scottish Reforms in an International Context Christine Whitehead Professor Emeritus in Housing Economics London School of Economics Shelter Private Rented Conference Edinburgh 25 th October 2017 Growth
More informationMESSAGE FROM THE CHAIRMEN
MESSAGE FROM THE CHAIRMEN AMPS 2011, sponsored by the IEEE Instrumentation and Measurement Society, is the 2nd edition of the international workshop on Applied Measurements in Power Systems and has the
More informationCONFERENCE PROGRAM OVERVIEW
Monday, October 16 08:00-09:00 09:00-17:30 Lobby Registration Colloquium: High Throughput Satellite (HTS) Broadband Opportunities: Orbits, Architectures, Spectrum, Interference and Markets Chair: Hector
More information10 th anniversary of the Understanding Development Issues in Nurse Educator Careers (UDINE-C) network. Majda Pajnkihar University of Maribor
10 th anniversary of the Understanding Development Issues in Nurse Educator Careers (UDINE-C) network Majda Pajnkihar University of Maribor More than 10 years ago The first idea of a network was initiated
More informationLecture Notes in Artificial Intelligence 3176
Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced
More informationRiscure User Workshop & CHES 2018
Riscure User & CHES 2018 9-12 September 2018 (CHES) 13-14 September (Riscure User ) Beurs van Berlage/Meet Berlage, Amsterdam, The Netherlands WIN! 3x NINTENDO SWITCH @ CHES Riscure and Radboud University
More informationBoard Meeting 22 nd 25 th Febr. 2018
BOARD MEETING FLORENCE 2018 22 ND 25 TH OF FEBRUARY 2018 1 Board Meeting 22 nd 25 th Febr. 2018 Florence / Italy FOLLOW EUPEA on Twitter: @EUPEA_tweet PREVIOUS BOARD MEETINGS GHENT Belgium 04 05 1992 PRAGUE
More informationOUR GLOBAL FOOTPRINT INDEPENDENT, INTERNATIONAL, COMMERCIAL, RESIDENTIAL. Locally expert, globally connected.
OUR GLOBAL FOOTPRINT INDEPENDENT, INTERNATIONAL, COMMERCIAL, RESIDENTIAL. Locally expert, globally connected. ABOUT THE GROUP THERE S A HUMAN ELEMENT IN THE WORLD OF PROPERTY THAT IS TOO EASILY OVERLOOKED.
More informationITU Kaleidoscope 2015 Trust in the Information Society
ITU Kaleidoscope 2015 Trust in the Information Society Best Paper Awards and Young Author Recognition Ceremony Alessia Magliarditi ITU Kaleidoscope Coordinator Barcelona, Spain 9-11 December 2015 Award
More informationINTBAU 2017 Annual Event. Heritage, Place, Design: Putting Tradition into Practice Milano, 5-6 July 2017
INTBAU 2017 Annual Event Heritage, Place, Design: Putting Tradition into Practice Milano, 5-6 July 2017 Where OPENING Soprintendenza Archeologia, Belle Arti e Paesaggio per la Città Metropolitana di Milano
More informationComplete BIM residential project
Complete BIM residential project SARCO Architects Costa Rica Project name: Casa Magayon Type: Residential Location: Guanacaste, Costa Rica Year: 2015 Size: 13,900 ft 2 / 1290 m 2 Software used: GRAPHISOFT
More informationThomas Schroepfer. Professor, Co-Director <SUTD-JTC I3 Centre> and Founding. Associate Head of Pillar <ASD> Research Interests. . Telephone.
1 Thomas Schroepfer Professor, Co-Director and Founding Associate Head of Pillar Research Interests Email Telephone Web Environmental strategies in architecture and urban design,
More informationCurriculum Vitae Education and studies Professional experience Research and publications
Curriculum Vitae Mircea Bîrsan Education and studies I was born on the 1 st of May 1973 in Iaşi, Romania. I graduated the high-school College C. Negruzzi of Iaşi in 1992. In the period 1990-1992, I was
More informationLecture Notes in Computer Science 7007
Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationCurriculum Vitae. September 2005 present : Full time researcher at CNRS affiliated with Paris School of Economics
Curriculum Vitae Olivier Tercieux Born : December the 9th 1977, Sèvres (92), France Citizenship : French Gender : Male Languages : French, mother tongue, fluent English, read and spoken Spanish Marital
More informationBratislava, 20 November ICARUS-Meeting. Didactics. Coordinator: Antonella Ambrosio. University of Naples
Bratislava, 20 November 2012 ICARUS-Meeting Didactics Coordinator: Antonella Ambrosio University of Naples 1.Icarus Didactics Group 30 members from universities and archives of 14 European countries Austria,
More informationSUSTAINABLE CONSTRUCTION A Life Cycle Approach in Engineering
Department of Building & Civil Engineering University of Malta SUSTAINABLE CONSTRUCTION A Life Cycle Approach in Engineering International Early Stage Researchers Symposium 23rd July 25th July 2010 + International
More informationDr. Lena Maria Schaffer
Dr. Lena Maria Schaffer ETH Zürich Center for Comparative and International Studies (CIS) Institute for Environmental Decisions (IED) & Universität Konstanz Fachbereich für Politik- und Verwaltungswissenschaft
More informationCurriculum vitae. Personal Data. Employement. Education. 8 May Date of Birth: Place of Birth: Address: Kayseri, Turkey
Curriculum vitae Pınar Kılıçer Personal Data Date of Birth: Place of Birth: Address: 8 May 1986 Kayseri, Turkey Carl von Ossietzky Universität Oldenburg Institut für Mathematik 26111 Oldenburg, Germany
More informationSUSTAINABLE URBAN HOUSING IN VIENNA
SUSTAINABLE URBAN HOUSING IN VIENNA Autonomy - legal acts - budgets Active Housing Policy - council housing - subsidies - allowances - land development - developers competitions Soft Urban Renewal VIENNA
More informationAs Paradigm? PROGRAM. International Symposium in Honor of 50 years The Social Construction of Reality April 2016 University of Vienna
As Paradigm? International Symposium in Honor of 50 years The Social Construction of Reality 28 30 April 2016 University of Vienna Fakultät für Sozial wissenschaften Institut für Soziologie PROGRAM Welcome
More informationCadastral Template. FIG-Commission 7 Annual Meeting, Verona, Italia, 12 Sept Daniel Steudler
armasuisse Bundesamt für Landestopografie swisstopo Cadastral Template FIG-Commission 7 Annual Meeting, Verona, Italia, 12 Sept. 2008 Design Principles for the Template keep it simple in order to attract
More informationDr. R. Dhanasekaran Professor Crystal Growth Centre, Anna University E-Mail:rdhanasekaran@annauniv.edu, rdhanasekaran@hotmail.com Academic Qualifications (Bachelor s degree onwards) Degree University Year
More informationHomepage: Curriculum Vitae
Marco Volpe Parsifal Team Inria Saclay - Île de France 1 rue Honoré d Estienne d Orves Bâtiment Alan Turing Campus de l École Polytechnique 91120 Palaiseau (France) E-mail: marco.volpe@inria.fr Homepage:
More informationStudent Property Global Contacts. Connecting people & property, perfectly.
Student Property Global Contacts. Connecting people & property, perfectly. Global Contacts Europe Asia PAC James Pullan Partner, Department Head +44 207 861 5422 james.pullan@knightfrank.com Emily Fell
More informationLecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano
More informationCadastral Parcels in INSPIRE. Lisbon, 27 February 2013
Cadastral Parcels in INSPIRE Lisbon, 27 February 2013 Dominique.laurent@ign.fr Plan INSPIRE context The modeling approach for theme Cadastral Parcels Implementation of INSPIRE theme Cadastral Parcels Context
More informationBruno Castro da Silva
Bruno Castro da Silva Department of Computer Science 140 Governor s Drive Amherst, MA 01003-9264 phone +1 413 559 1697 bsilva@cs.umass.edu Education PhD, Computer Science Advisor: Prof. Dr. Andrew Barto
More informationLecture Notes in Business Information Processing 62
Lecture Notes in Business Information Processing 62 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland
More informationPersoonlijke kopie van ()
BRUSSELS II BIS EUROPEAN FAMILY LAW SERIES Published by the Organising Committee of the Commission on European Family Law Prof. Katharina Boele-Woelki (Utrecht) Prof. Frédérique Ferrand (Lyon) Prof. Cristina
More informationDATE AND PLACE OF BIRTH, NATIONALITY PROFESSIONAL CAREER
DATE AND PLACE OF BIRTH, NATIONALITY born 15.5.47 in Vienna Austrian nationality PROFESSIONAL CAREER 2002-present partner of Baier Böhm law firm 1978-2002 principal, Wolff Law Offices 1976-1978 mandatory
More informationEncyclopedia of Computer Graphics and Games
Encyclopedia of Computer Graphics and Games Editorial Board Dr. Xiaomao Wu wu.xiaomao@gmail.com (mailto:xiaomao%20wu) Industry Co-Chair Gritworld GmbH Frankfurt am Main, Hessen Germany
More informationDetailed Table of Contents
Detailed Table of Contents Foreword... xxi Preface...xxii Section 1 Design, Modeling and Verification Chapter 1 System-Level Design of NoC-Based Dependable Embedded Systems... 1 Mihkel Tagel, Tallinn University
More informationICA and Cartography Today. Menno-Jan Kraak
ICA and Cartography Today Menno-Jan Kraak Where are we today? Back to Rio The Map Members Internal relations External relations The map Working group on the International Map Year Members Estonia Georgia
More informationLehrstuhl für Algebra und Zahlentheorie,
Marco Ramponi Contact Address Email Website Lehrstuhl für Algebra und Zahlentheorie, Universität Augsburg, Institut für Mathematik, D-86135 Augsburg, DE marco.ramponi (at) math.uni-augsburg.de http://www-math.sp2mi.univ-poitiers.fr/~mramponi/
More informationVII. ADDRESSES OF PARTNERS
VII. ADDRESSES OF PARTNERS VII. ADDRESSES OF PARTNERS 1. Chalmers University Prof. L. Davidson (coordinator) Dept. of Thermo and Fluid Dynamics Chalmers University of Technology S-412 96 Gothenburg SWEDEN
More informationHenry Muccini. Pisa, March , workshop on Architecture-based Testing: Moving Research into Practice
Università degli Studi dell Aquila Henry Muccini Dipartimento di Informatica www.henrymuccini.com University of L Aquila - Italy henry.muccini@di.univaq.it Pisa, March 29-30 2011, workshop on Architecture-based
More information8th session of the Working Party on Land Administration and
8th session of the Working Party on Land Administration and Workshop: Land Administration in Central Asia: Building Systems for 21st Century Challenges Bishkek, Kyrgyz Republic March 18-20, 2013 Bakytbek
More informationCidades Inteligentes? Sociedade e Tecnologia em debate
André Luiz Martins Lemos PhD Professor at Faculdade de Comunicação -UFBA Is a Full Professor at the School of Communication at the Federal University of Bahia (UFBA) and Researcher 1A at CNPq. He is an
More informationEstablishing a Global Footprint: Inbound, Outbound & in your Neighborhood
Establishing a Global Footprint: Inbound, Outbound & in your Neighborhood Global real estate is a mind set Cindy Fauth Spend more money $477,462 (average purchase price) Pay in cash 50% of international
More informationProcess Maturity Profile
Carnegie Mellon Process Maturity Profile CMMI SCAMPI SM Class A Appraisal Results 2007 Mid-Year Update September 2007 We could not produce this report without the support of the organizations and lead
More informationFIRST CIRCULAR AND CALL FOR PAPERS
INTERNATIONAL CONFERENCE ON "Groundwater Vulnerability - From Scientific Concept to Practical Application" Ustroń, Poland 25-29 May 2015 Organized by: International Association of Hydrogeologists Polish
More informationHow Europeans live and what it costs them Is renting a dwelling a profitable investment?
REflexions magazine issue 46 Section title goes here REflexions magazine issue REflexions 4 Section magazine title goes issue here 6 Deloitte Property Index 2017 How Europeans live and what it costs them
More informationHOUSING SUPPLY IN OECD COUNTRIES: RESPONSIVENESS AND ECONOMIC CONSEQUENCES
HOUSING SUPPLY IN OECD COUNTRIES: RESPONSIVENESS AND ECONOMIC CONSEQUENCES Christophe André OECD Economics Department Workshop Macroeconomic Implications of Housing Markets 30 November 2016 European Commission,
More informationMain partner MCE - mostra convegno expocomfort
2016 edition Main partner MCE - mostra convegno expocomfort Patronage ACTL - ADI - AiCARR AIVEP ANCE ANCI - ANGAISA - BIMobject - CONFINDUSTRA CERAMICA - EERG POLITECNICO DI MILANO - FEDERCOSTRUZIONI -
More informationThe German housing market and housing finance system
The German housing market and housing finance system Mark Weinrich Association of Private Bausparkassen Berlin, 26th September 2016 1 House price development in Germany German housing market characterised
More informationDavi Maximo Alexandrino Nogueira
Davi Maximo Alexandrino Nogueira 1 Education Department of Mathematics, Stanford University 450 Serra Mall, Bldg 380, Stanford, CA 94305 URL: http://math.stanford.edu/ maximo E-mail: maximo@math.stanford.edu
More informationJinoh Park. (919) Campus # 7701, College of Design, North Carolina State University, Raleigh, NC
(919) 917-1298 jpark39@ncsu.edu Campus # 7701, College of Design, North Carolina State University, Raleigh, NC 27695-0001 EDUCATION North Carolina State University, North Carolina, United States of America
More informationC Haskell, Agnes Hadley ( ), Daybooks, folders
C Haskell, Agnes Hadley (1876-1946), Daybooks, 1909-1946 3467 92 folders This collection is available at The State Historical Society of Missouri. If you would like more information, please contact us
More informationAlgebraic and geometric combinatorics, polytope theory, Hopf algebras, and diagonal harmonics.
Cesar Ceballos Fakultät für Mathematik Universität Wien cesar.ceballos@univie.ac.at http://www.mat.univie.ac.at/~cesar/ Personal information Born in Colombia on October 9, 1987. Married, two children (2
More informationUNECE workshop on: Cadastral and real estate registration systems: Economic information for real estate markets in the UNECE region
UNECE workshop on: Cadastral and real estate registration systems: Economic information for real estate markets in the UNECE region Roma, 5-65 6 May 2011 Maurizio Festa Agenzia del Territorio Head of Statistics
More informationEXTREME ENGINEERING August 2019 Singapore. Invitation to Participate
28-30 August 2019 Singapore EXTREME ENGINEERING Downtown Singapore, 2017 Invitation to Participate Supported by: Japan Prestressed Concrete Institute Burj Khalifa, 828m, Dubai, UAE Managed by: CI - Premier
More informationAI*CH 2017 The 11th workshop on Artificial Intelligence for Cultural Heritage
Francesco Mele, Antonio Origlia and Antonio Sorgente (Eds.) Proceedings of the AI*CH 2017 The 11th workshop on Artificial Intelligence for Cultural Heritage Workshop co-located with AI*IA 2017 Bari, Italy,
More informationRMIT International Industry Experience and Research Program (RIIERP) Engaging with key global industry and research organisations
RMIT International Industry Experience and Research Program (RIIERP) Engaging with key global industry and research organisations RMIT: Global University of Technology and Design RIIERP: Global Passport
More informationAcademic Employment. Education
Susan F. Longfield Karr Visiting Max Weber Fellow, European University Institute US Address: 59 Lorene Ave; Athens, Ohio 45701-2044 US Cell: (740) 249-5581 Email: Susan.Karr@eui.eu * Susanfkarr@gmail.com
More information4 th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) Proceedings
4 th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) 2016 Boston, MA, USA, September 16 th, 2016 Proceedings edited by Marko Tkalčič Berardina de Carolis Marco de Gemmis Andrej Košir
More informationARCHITECTURAL TECHNOLOGY: RAISING THE PROFILE
ARCHITECTURAL TECHNOLOGY: RAISING THE PROFILE A Symposium Stimulating Activity to Raise the Profile of Architectural Technology Photo courtesy of Titanic Belfast Friday 7 December 2012, University of Ulster,
More informationA FORMAL APPROACH FOR INCORPORATING ARCHITECTURAL TACTICS INTO THE SOFTWARE ARCHITECTURE
1 A FORMAL APPROACH FOR INCORPORATING ARCHITECTURAL TACTICS INTO THE SOFTWARE ARCHITECTURE Hamid Bagheri & Kevin Sullivan University of Virginia Computer Science 2 How do architects integrate tactics with
More informationLecture Notes in Artificial Intelligence 2155
Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,
More informationCURRICULUM VITAE Lars Junghans (PhD)
CURRICULUM VITAE E- mail: Lars Junghans (PhD) Junghans@umich.edu EDUCATION Jan. 2006 Nov. 2006 Aug.2002 Jan. 2005 1995-2001 University of California Berkeley, USA Post- doctoral studies ETH Zürich, Switzerland
More informationCURRICULUM VITAE EUGEN MIHAILESCU May 2018
CURRICULUM VITAE EUGEN MIHAILESCU May 2018 Email: Eugen.Mihailescu@imar.ro Work Address: Institute of Mathematics Simion Stoilow of the Romanian Academy, P.O Box 1-764, RO-014700, Bucharest, Romania. Current
More informationJapan 1.4% REVIEW BY GEOGRAPHIC REGION. Operating Conditions and Performance Review BUSINESS REVIEW
Japan 1.4% in Japan increased 1.4% year-on-year, to 112 billion. Although Japan experienced a weakness in exports due to the increased value of the yen, the economy improved overall, moderately recovering
More informationFractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color
Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
More informationMAM Study Days December ADDITIVE MANUFACTURING: Challenges and New Developments. Preliminary program
Preliminary program MAM 2018 Study Days ADDITIVE MANUFACTURING: Challenges and New Developments 4-5 - 6 December 2018 Aula Magna Carassa-Dadda Bovisa Politecnico di Milano Organized by RINA and Dipartimento
More informationMies Van Der Rohe (Architectura Y Diseno / Architecture And Design) (Spanish Edition)
Mies Van Der Rohe (Architectura Y Diseno / Architecture And Design) (Spanish Edition) Premios de Arquitectura - Facebook - Finalistas 57 Ed. Premios FAD 2015 Not cias de Arquitectura Premios de Arquitectura.
More information1st Regional INSPIRE Forum 4th Croatian NSDI and INSPIRE Day
1st Regional INSPIRE Forum 4th Croatian NSDI and INSPIRE Day State of Play EULIS Rik Wouters Managing Director EULIS Programme What is EULIS EULIS is renewed: LINE For who is EULIS? Why EULIS? Projects
More informationKEEGAN & COPPIN COMPANY, INC.
Commercial Real Estate Services PROMINENT DOWNTOWN LOCATION 757± - 954± sf of office space available with 4th Street frontage 757± sf: Open floor plan with 3 cubicles 954± sf: Open floor plan, private
More information