Editorial message for the special track on embedded systems: applications, solutions, and techniques

ion of Multiple Executions of Object-Oriented Programs ............................................................1734 Chunying Zhao, The University of Texas at Dallas, United States Kang Zhang, University of Texas at Dallas, United States Yu Lei, The University of Texas at Arlington, United States Computer Security Track Track Co-Chairs: Giampaolo Bella, Dipartimento di Matematica e Informatica Università di Catania, Italy Luca Compagna, SAP Research France, France Track Editorial .................................................................................................................................................1736 Privacy-Preserving Linear Programming .....................................................................................................1738 Jaideep Vaidya, Rutgers University, United States On the Practical Importance of Communication Complexity for Secure Multi-Party Computation Protocols............................................................................................................................................................1744 Florian Kerschbaum, SAP Research, Germany Daniel Dahlmeier, SAP Research, Germany Axel Schröpfer, SAP Research, Germany Debmalya Biswas, IRISA/INRIA, France Open Source vs. Closed Source Software: Towards Measuring Security ..................................................1752 Guido Schryen, International Computer Science Institute, United States Rouven Kadura, RWTH Aachen University, Germany Improving Stream Correlation Attacks on Anonymous Networks .............................................................1760 Gavin O'Gorman, Dublin City University, Ireland Stephen Blott, Dublin City University, Ireland KvmSec: A Security Extension for Linux Kernel Virtual Machines ..........................................................1765 Flavio Lombardi, Consiglio Nazionale delle Ricerche, Ufficio Sistemi Informativi, Italy Roberto Di Pietro, UNESCO Chair in Data Privacy, Universitat Rovira i Virgili, Spain Bayesian Bot Detection Based on DNS Traffic Similarity ...........................................................................1771 Ricardo Villamarín-Salomón, University of Pittsburgh, United States José Brustoloni, University of Pittsburgh, United States Semi-Supervised Co-training and Active Learning based Approach for Multi-view Intrusion Detection ...........................................................................................................................................................1778 Ching-Hao Mao, National Taiwan University of Science and Technology, Taiwan Hahn-Ming Lee, Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, Taiwan Devi Parikh, Carnegie Mellon University, United States Tsuhan Chen, Carnegie Mellon University, United States Si-Yu Huang, National Taiwan University of Science and Technology, Taiwan Taking Total Control of Voting Systems: Firmware Manipulations on an Optical Scan Voting Terminal............................................................................................................................................................1785 Seda Davtyan, University of Connecticut, United States Sotiris Kentros, University of Connecticut, United States Aggelos Kiayias, University of Connecticut, United States Laurent Michel, University of Connecticut, United States Nicolas Nicolaou, University of Connecticut, United States Alexander Russell, University of Connecticut, United States Andrew See, University of Connecticut, United States Narasimha Shashidhar, University of Connecticut, United States Alexander Shvartsman, University of Connecticut, United States SQLProb: A Proxy-based Architecture towards Preventing SQL Injection Attacks ...............................1790 Anyi Liu, George Mason University, United States Yi Yuan, George Mason University, United States Duminda Wijesekera, George Mason University, United States Angelos Stavrou, George Mason University, United States Secure Web-Based Retrieval of Documents with Usage Controls ...............................................................1798 Peter Djalaliev, University of Pittsburgh, United States José Brustoloni, University of Pittsburgh, United States Advances in Computer Simulation Track Track Co-Chairs: Giuseppe Vizzari, University of Milano-Bicocca, Italy Fabien Michel, Université de Reims Champagne Ardenne, France Track Editorial .................................................................................................................................................1806 An Extensible Simulation Tool for Overlay Networks and Services ..........................................................1808 Jordi Pujol-Ahulló, Universitat Rovira i Virgili, Spain Pedro García-López, Universitat Rovira i Virgili, Spain Marc Sànchez-Artigas, Universitat Rovira i Virgili, Spain Marcel Arrufat-Arias, Universitat Rovira i Virgili, Spain Simulating Human Intuitive Decisions by Q-Learning ................................................................................1813 Jason Leezer, Trinity University, United States Yu Zhang, Trinity University, United States Simulation Supporting the Design of Self-Organizing Ambient Intelligence Systems ..............................1818 Stefania Bandini, University of Milano-Bicocca, Italy Andrea Bonomi, University of Milano-Bicocca, Italy Giuseppe Vizzari, University of Milano-Bicocca, Italy Composing a High Fidelity HLA Federation for Littoral Operations ........................................................1823 Fawzi Hassaine, Defence R&D, Canada Russ Moulton, JRM Technologies, United States Chris Fink, JRM Technologies, United States Simulating Antigenic Drift and Shift in Influenza A ....................................................................................1829 Nuno Fachada, Instituto Superior Técnico, Portugal Vitor Lopes, INETI Instituto Nacional de Engenharia, Tecnologia e Inovação, Portugal Agostinho Rosa, LAseeb-IST-UTL, Portugal Poster Papers Simulating Business Processes with EPML-Sim ...........................................................................................1837 Davide Rossi, Department of Computer Science University of Bologna, Italy Elisa Turrini, Department of Computer Science University of Bologna, Italy Fabio Vitali, Department of Computer Science University of Bologna, Italy Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems ................1839 Matteo Casadei, Alma Mater Studiorum Università di Bologna, Italy Mirko Viroli, Alma Mater Studiorum Università di Bologna, Italy Conceptualization and Implementation of a Microscopic Pedestrian Simulation Platform ....................1841 Edgar Esteves, Faculty of Engineering, University of Porto (FEUP), Portugal Rosaldo Rossetti, Artificial Intelligence and Computer Science Laboratory (LIACC), Portugal Paulo Ferreira, Faculdade de Engenharia da Universidade do Porto, Portugal Eugenio Oliveira, Artificial Intelligence and Computer Science Laboratory (LIACC), Portugal Precise Generalized Contact Point and Normal Determination for Rigid Body Simulation ....................1843 Dylan Shell, University of Southern California, United States Evan Drumwright, University of Memphis, United States Service Oriented Architectures and Programming Track Track Co-Chairs: Claudio Guidi, University of Bologna, Italy Ivan Lanese, University of Bologna, Italy Manuel Mazzara, Newcastle University, United Kingdom Track Editorial .................................................................................................................................................1845 CMC-UMC: A Framework for the Verification of Abstract Service-Orinted Properties .......................1847 Maurice ter Beek, ISTI-CNR, Italy Franco Mazzanti, ISTi-CNR, Italy Stefania Gnesi, ISTI-CNR, Italy Runtime Monitoring of Web Service Choreographies Using Streaming XML .........................................1854 Sylvain Hallé, University of California Santa Barbara, United States Roger Villemaire, Universite du Quebec a Montreal, Canada PRECISO: A Reengineering Process and a Tool for Database Modernisation through Web Services..............................................................................................................................................................1862 Ricardo P. del Castillo, Alarcos Research Group. UCLM-INDRA Research and Development Institute. University of Castilla-La Mancha, Spain Ignacio García-Rodríguez de Guzmán, Alarcos Research Group. University of Castilla-La Mancha, Spain Ismael Caballero, Alarcos Research Group. University of Castilla-La Mancha, Spain Macario Polo, Alarcos Research Group. University of Castilla-La Mancha, Spain Mario Piattini, Alarcos Research Group. University of Castilla-La Mancha, Spain Load Management in Model-Aware Execution of Composite Web Services .............................................1870 Karolina Zurowska, University of Saskatchewan, Canada Ralph Deters, University of Saskatchewan, Canada Using Process Mining to Business Process Distribution ...............................................................................1876 Faramarz Safi Esfahani, Islamic Azad University, Najaf Abad Branch, Esfahan, Iran Masrah Azrifah Azmi Murad, University of Putra Malaysia, Malaysia Md.Nasir Sulaiman, University of Putra Malaysia, Malaysia Nur Izura Udzir, Universirt of Putra Malaysia, Malaysia Annotating UDDI Registries to Support the Management of Composite Services ...................................1882 Brian Blake, Georgetown University, United States Michael Nowlan, Georgetown University, United States Ajay Bansal, Georgetown University, United States Srividya Kona, Georgetown University, United States A General Service Oriented Approach for Managing Virtual Machines Allocation ................................1890 Paolo Anedda, CRS4, Italy Massimo Gaggero, CRS4, Italy Simone Manc