in the algorithmic and foundational aspects, high-level approaches as well as more applied and technology-related issues regarding tools and applications of wireless sensor networks. June 2009 Jie Wu Viktor K. Prasanna Ivan Stojmenovic Message from the Program Chair This proceedings volume includes the accepted papers of the 5th International Conference on Distributed Computing in Sensor Systems. This year we int- duced some changes in the composition of the three tracks to increase cro- disciplinary interactions. The Algorithms track was enhanced to include topics pertaining to performance analysis and network optimization and renamed "- gorithms and Analysis. " The Systems and Applications tracks, previously s- arate, were combined into a single track. And a new track was introduced on "Signal Processing and Information Theory. " DCOSS 2009 received 116 submissions for the three tracks. After a thorough reviewprocess, inwhichatleastthreereviewsweresolicitedforallpapers, atotal of 26 papers were accepted. The research contributions in this proceedings span many aspects of sensor systems, including energy-e?cient mechanisms, tracking and surveillance, activity recognition, simulation, query optimization, network coding, localization, application development, data and code dissemination. Basedonthereviews, wealsoidenti?edthebestpaperfromeachtrack, which are as follows: BestpaperintheAlgorithmsandAnalysistrack: "E?cientSensorPlacement for Surveillance Problems" by Pankaj Agarwal, Esther Ezra and Shashidhara Ganjugunte. Best paper in the Applications and Systems track: "Optimal Allocation of Time-Resources for Multihypothesis Activity-Level Detection," by Gautam Thatte, ViktorRozgic, MingLi, SabyasachiGhosh, UrbashiMitra, ShriNarayanan, Murali Annavaram and Donna Spruijt-Metz. Best paper in the Signal Processing and Information Theory track: "D- tributed Computation of Likelihood Maps for Target Tracking" by Jonathan Gallagher, Randolph Moses and Emre Ertin.

This book will provide a comprehensive overview of business analytics, for those who have either a technical background (quantitative methods) or a practitioner business background. Business analytics, in the context of the 4th Industrial Revolution, is the "new normal" for businesses that operate in this digital age. This book provides a comprehensive primer and overview of the field (and related fields such as Business Intelligence and Data Science). It will discuss the field as it applies to financial institutions, with some minor departures to other industries. Readers will gain understanding and insight into the field of data science, including traditional as well as emerging techniques. Further, many chapters are dedicated to the establishment of a data-driven team - from executive buy-in and corporate governance to managing and quantifying the return of data-driven projects.

Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspects of parallel and distributed computing. th Euro-Par 2009 was the 15 edition in this conference series. Througout the years, the Euro-Par conferences have always attracted high-quality submissions and have become one of the established conferences in the area of parallel and distributed processing. Built upon the success of the annual conferences and in order to accommodate the needs of special interest groups (among the conf- ence participants), starting from 2006, a series of workshopsin conjunction with the Euro-Par main conference have been organized. This was the ?fth year in which workshops were organized within the Euro-Par conference format. The workshops focus on advanced specialized topics in parallel and d- tributed computing. These topics re?ect new scienti?c and technological dev- opments. While the community for such new and speci?c developments is still small and the topics have yet to become mature, the Euro-Par conference o?ers a platform in the form of a workshop to exchange ideas and discuss cooperation opportunities. The workshops in the past four years have been very successful. The number ofworkshopproposalsandthenumberof?nallyacceptedworkshopshavegra- ally increasedsince 2006.In 2008, nine workshopswereorganizedin conjunction with the main Euro-Par conference. In 2009, there were again nine workshop

This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, whichwas held on November 2-3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), and L'Aquila (September 2008). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2009 workshop was part of FMweek, the ?rst Formal Methods Week, whicho?eredachoiceofeventsinthearea, includingTESTCOM/FATES, Conferenceon TestingofCommunicatingSystemsandWorkshop on Formal- proaches to Testing of Software;FACS, Formal Aspects of Component Software; PDMC, Parallel and Distributed Methods of veri?Cation; FM2009, Symposium of Formal Methods Europe;CPA, Communicating Process Architectures;FAST, Formal Aspects of Security and Trust;FMCO, Formal Methods for Components and Objects; and the REFINE Workshop. All the information on FMweek can be found at http: //www.win.tue.nl/f

The Workshop on Self-sustaining Systems (S3) is a forum for the discussion of topics relating to computer systems and languages that are able to bootstrap, implement, modify, and maintain themselves. One property of these systems is that their implementation is based onsmall but powerfulabstractions;examples include (amongst others) Squeak/Smalltalk, COLA, Klein/Self, PyPy/Python, Rubinius/Ruby, andLisp.Suchsystemsaretheenginesoftheirownreplacement, giving researchers and developers great power to experiment with, and explore future directions from within, their own small language kernels. S3 took place on May 15-16, 2008 at the Hasso-Plattner-Institute (HPI) in Potsdam, Germany. It was an exciting opportunity for researchers and prac- tioners interested in self-sustaining systems to meet and share their knowledge, experience, and ideas for future research and development. S3 provided an - portunity for a community to gather and discuss the need for self-sustainability in software systems, and to share and explore thoughts on why such systems are needed and how they can be created and deployed. Analogies were made, for example, with evolutionary cycles, and with urban design and the subsequent inevitable socially-driven change. TheS3participantsleftwithagreatersenseofcommunityandanenthusiasm for probing more deeply into this subject. We see the need for self-sustaining systems becoming critical not only to the developer's community, but to e- users in business, academia, learning and play, and so we hope that this S3 workshop will become the ?rst of many.

The Second International Conference on High-Performance Computing and Appli- tions (HPCA 2009) was a follow-up event of the successful HPCA 2004. It was held in Shanghai, a beautiful, active, and modern city in China, August 10-12, 2009. It served as a forum to present current work by researchers and software developers from around the world as well as to highlight activities in the high-performance c- puting area. It aimed to bring together research scientists, application pioneers, and software developers to discuss problems and solutions and to identify new issues in this area. This conference emphasized the development and study of novel approaches for high-performance computing, the design and analysis of high-performance - merical algorithms, and their scientific, engineering, and industrial applications. It offered the conference participants a great opportunity to exchange the latest research results, heighten international collaboration, and discuss future research ideas in HPCA. In addition to 24 invited presentations, the conference received over 300 contr- uted submissions from over ten countries and regions worldwide, about 70 of which were accepted for presentation at HPCA 2009. The conference proceedings contain some of the invited presentations and contributed submissions, and cover such research areas of interest as numerical algorithms and solutions, high-performance and grid c- puting, novel approaches to high-performance computing, massive data storage and processing, hardware acceleration, and their wide applications.

LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14-18 in Trento, Italy. The LION series of conferences provides a platform for researchers who are interested in the int- section of e?cient optimization techniques and learning. It is aimed at exploring the boundaries and uncharted territories between machine learning, arti?cial intelligence, mathematical programming and algorithms for hard optimization problems. The considerable interest in the topics covered by LION was re?ected by the overwhelming number of 86 submissions, which almost doubled the 48 subm- sions received for LION's second edition in December 2007. As in the ?rst two editions, the submissions to LION 3 could be in three formats: (a) original novel and unpublished work for publication in the post-conference proceedings, (b) extended abstracts of work-in-progressor a position statement, and (c) recently submitted or published journal articles for oral presentations. The 86 subm- sions received include 72, ten, and four articles for categories (a), (b), and (c), respectively.

QUANTUMCOMM 2009--the International Conference on Quantum Communi- tion and Quantum Networking (from satellite to nanoscale)--took place in Vico Equense near Naples, Italy, during October 26-30, 2009. The conference made a significant step toward stimulating direct dialogue between the communities of quantum physics and quantum information researchers who work with photons, atoms, and electrons in pursuit of the common goal of investigating and utilizing the transfer of physical information between quantum systems. This meeting brought together experts in quantum communication, quantum inf- mation processing, quantum nanoscale physics, quantum photonics, and networking. In the light of traditional approaches to quantum information processing, quantum communication mainly deals with encoding and securely distributing quantum states of light in optical fiber or in free space in order to provide the technical means for quantum cryptography applications. Exciting advances in the area of quantum c- munication over the last decade have made the metropolitan quantum network a re- ity. Several papers presented at this meeting have demonstrated that quantum crypt- raphy is approaching the point of becoming a high-tech application rather than a - search subject. The natural distance limitation of quantum cryptography has been significantly augmented using ideas of global quantum communication with stab- orbit satellites. The results presented at this conference demonstrated that practical secure satellite communication is clearly within reach.

This volume presents the proceedings of the 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness and of the Third International ICST Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications. Both events were held in Las Palmas de Gran Canaria in November 2009. To each of these events is devoted a specific part of the volume. The first part is dedicated to the proceedings of ICST QShine 2009. The first four chapters deal with new issues concerning the quality of service in IP-based telephony and multimedia. A second set of four chapters addresses some important research problems in mul- hop wireless networks, with a special emphasis on the problems of routing. The following three papers deal with recent advances in the field of data mana- ment and area coverage in sensor networks, while a fourth set of chapters deals with mobility and context-aware services. The fifth set of chapters contains new works in the area of Internet delivery and switching systems. The following chapters of the QShine part of the volume are devoted to papers in the areas of resource management in wireless networks, overlay, P2P and SOA arc- tectures. Some works also deal with the optimization of quality of service and energy consumption in WLAN and sensor networks and on the design of a mobility support in mesh networks.

Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.

This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.

The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management.

This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). The purpose of ICSOFT 2008 was to bring together researchers, engineers and practitioners interested in information technology and software development. The conference tracks were "Software Engineering", "Information Systems and Data Management", "Programming Languages", "Distributed and Parallel Systems" and "Knowledge Engineering". Being crucial for the development of information systems, software and data te- nologies encompass a large number of research topics and applications: from imp- mentation-related issues to more abstract theoretical aspects of software engineering; from databases and data-warehouses to management information systems and kno- edge-base systems; next to that, distributed systems, pervasive computing, data qu- ity and other related topics are included in the scope of this conference.

The 2009 International Conference on Artificial Intelligence and Computational Int- ligence (AICI 2009) was held during November 7-8, 2009 in Shanghai, China. The technical program of the conference reflects the tremendous growth in the fields of artificial intelligence and computational intelligence with contributions from a large number of participants around the world. AICI 2009 received 1,203 submissions from 20 countries and regions. After rig- ous reviews, 79 high-quality papers were selected for this volume, representing an acceptance rate of 6.6%. These selected papers cover many new developments and their applications in the fields of artificial intelligence and computational intelligence. Their publications reflect a sustainable interest from the wide academic community worldwide in tirelessly pursuing new solutions through effective utilizations of arti- cial intelligence and computational intelligence to real-world problems. We would like to specially thank all the committee members and reviewers, without whose timely help it would have been impossible to review all the submitted papers to assemble this program. We also would like take this opportunity to express our heartfelt appreciation for all those who worked together in organizing this conference, establi- ing the technical programs and running the conference meetings. We greatly appreciate the authors, speakers, invited session organizers, session Chairs, and others who made this conference possible. Lastly, we would like to express our gratitude to the Shanghai University of Electric Power for the sponsorship and support of the conference.

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi?cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi?cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di?erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD) 2006, on whose results we report here.

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle can be discovered, which has the propensity to propagate throughout mul- faceted disciplines. FGIT 2009 was the first mega-conference that attempted to follow the above idea of hybridization in FGIT in a form of multiple events related to particular disciplines of IT, conducted by separate scientific committees, but coordinated in order to expose the most important contributions. It included the following international conferences: Advanced Software Engineering and Its Applications (ASEA), Bio-Science and Bio-Technology (BSBT), Control and Automation (CA), Database Theory and Application (DTA), D- aster Recovery and Business Continuity (DRBC; published independently), Future G- eration Communication and Networking (FGCN) that was combined with Advanced Communication and Networking (ACN), Grid and Distributed Computing (GDC), M- timedia, Computer Graphics and Broadcasting (MulGraB), Security Technology (SecTech), Signal Processing, Image Processing and Pattern Recognition (SIP), and- and e-Service, Science and Technology (UNESST).

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009.

The 33 revised full papers, selected from 121 submissions, are presented together with 15 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on Michel Raynal and Shmuel Zaks 60th birthday symposium, award nominees, transactional memory, shared memory, distributed and local graph algorithms, modeling issues, game theory, failure detectors, from theory to practice, graph algorithms and routing, consensus and byzantine agreement and radio networks.

IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9 years of cooperative research work.

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are undertaken. Design processes are analyzed and evaluated in collaboration with industrial partners.

This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009.

The 49 revised full papers and 14 brief announcements presented together with three invited talks were carefully reviewed and selected from 126 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The special topics were alternative systems and models, autonomic computational science, cloud computing, embedded systems, fault-tolerance in distributed systems / dependability, formal methods in distributed systems, grid computing, mobility and dynamic networks, multicore computing, peer-to-peer systems, self-organizing systems, sensor networks, stabilization, and system safety and security.

This book constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007.

The 7 revised full papers presented together with 1 invited paper were carefully selected from 11 submissions. Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, and query reformulation; and storing and indexing semantic Web data and schemas.

Research and development of autonomics have come a long way, and we are - lighted to present the proceedings of the 4th IEEE International Workshop on Modeling Autonomic Communications Environments (MACE 2009). As in the last three years, this workshop was held as part of Manweek, the International Week on Management of Networks and Services, which took place in the cult- ally rich city of Venice in Italy. Manweek is now an umbrella of ?ve workshops and conferences focusing on di?erent aspects of network and service mana- ment, including MACE, distributed operations and management (DSOM), - basedmanagement(IPOM),towardsmultimediaandmobilenetworks(MMNS), and virtualization and middleware for next generation networks (NGNM). F- ther information of Manweek and the individual workshops and conferences can be found athttp://www.manweek.org. MACE started as an experiment, in 2006, and created a small community that now ?nds itself attracted back each year by a feeling of excitement and anticipation to share new advances and development. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshop itself. New ideas, a little rough around theedges(andsometimesmorethanalittle),oftenquiteun?nished,popoutand provoke extensive discussion. Science needs this kind of exploratory adventure, and we have been strongly motivated to continue preserving this atmosphere of exploration and discussion in this year's technical program.

These proceedings contain the papers presented at VoteID 2009, the Second - ternationalConferenceonE-votingandIdentity.TheconferencewasheldinL- embourgduring September 7-8,2009, hostedbythe Universityof Luxembourg. VoteID 2009 built on the success of the 2007 edition held in Bochum. Events have moved on dramatically in the intervening two years: at the time of writing, people are in the streets of Tehran protesting against the claimed outcome of the June12thpresidentialelectionin Iran.Banners bearingthe words"Whereis my vote?" bear testimony to the strength of feeling and the need for elections to be trusted. These events show that the search for high-assurance voting is not a purely academic pursuit but one of very real importance. We hope that VoteID 2009 will help contribute to our understanding of the foundations of democracy. TheProgramCommitteeselected11papersforpresentationattheconference out of a total of 24 submissions. Each submission was reviewed by at least four Program Committee members. The EasyChair conference management system proved instrumental in the reviewing process as well as in the preparation of these proceedings. The selected papers cover a wide range of aspects of voting: proposals for high-assurancevotingsystems, evaluationofexistingsystems, assessmentofp- lic response to electronic voting and legal aspects. The program also included a keynote by Mark Ryan.

This book constitutes the refereed proceedings of the 7th International Conference On Smart Homes and and Health Telematics, ICOST 2009, held in Tours, France, in July 2009. The 27 revised full papers and 20 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cognitive assistance and chronic diseases management; ambient living systems; service continuity and context awareness; user modeling and human-machine interaction; ambient intelligence modeling and privacy issues, human behavior and activities monitoring.

This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco, CaliforniaduringApril13-15,2009. Theannualconferenceonhybridsystems- cuses on researchin embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSCC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. HSCC 2009 was the 12th in a series of successful meetings. Previous versions wereheld in Berkeley(1998), Nijmegen (1999), Pittsburgh(2000), Rome (2001), PaloAlto (2002), Prague(2003), Philadelphia (2004), Zurich (2005), Santa B- bara (2006), Pisa (2007), and St. Louis (2008). HSCC 2009 was part of the 2nd Cyber-Physical Systems Week (CPSWeek), whichconsistedoftheco-locationofHSCCwiththeInternationalConferenceon Information Processing in Sensor Networks (IPSN) and the Real-Time and - bedded Technology and Applications Symposium (RTAS). Through CPSWeek, the three conferences had joint invited speakers, poster sessions, and joint - cial events. In addition to the workshops sponsored by CPSWeek, HSCC 2009 sponsored two workshops: - NSV II: Second International Workshop on Numerical Software Veri?cation - HSCB 2009: Hybrid Systems Approaches to Computational Biology We would like to thank the authors of submitted papers, the Program C- mittee members, the additional reviewers, the workshop organizers, and the HSCC Steering Committee members for their help in composing a strong p- gram. We also thank the CPSWeek Organizing Committee, in particular Rajesh Gupta, for their strenuous work in handling the local arrangemen

This volume contains the proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), held November 21-23, 2008 in Detroit, Michigan USA. SSS started as the Workshop on Self-Stabilizing Systems (WSS), which was ?rst held at Austin in 1989. From the second WSS in Las Vegas in 1995, the - rum was held biennially, at Santa Barbara(1997), Austin (1999), Lisbon (2001), San Francisco (2003) and Barcelona (2005). The title of the forum changed to the Symposium on Self-Stabilizing Systems (SSS) in 2003. Since 2005, SSS was run annually, and in 2006 (Dallas) the scope of the conference was extended to cover all safety and security-related aspects of self-* systems. This extension followed the demand for self-stabilization in various areas of distributed c- puting including peer-to-peer networks, wireless sensor networks, mobile ad-hoc networks, robotic networks. To re?ect this change, the name of the symposium changed to the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). This year we received 43 submissions from 13 countries. Most submissions were from the USA and France. Each submission was carefully reviewed by three to six Program Committee members with the help of external reviewers. For the ?rst time a rebuttal phase allowed the authors to react to the reviews beforethediscussionofthepaperswithintheProgramCommittee. Outofthe43 submissions,17excellentpaperswereselectedforpresentationatthesymposium, whichcorrespondsto anacceptancerateof40%. Itcanbenotedthatthehighest acceptance rate was for papers with keywordssensor networks (86%), MANETs (67%), andsecurityof sensorandmobile networksprotocols (67

This volume contains scientific papers and case studies presented at Interactive Sto- telling '08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held November 26-29, 2008, in Erfurt, Germany. Interactive Digital Storytelling (IDS) is a cross-disciplinary topic, which explores new uses of interactive technologies for creating and experiencing narratives. IDS is also a huge step forward in games and learning. This can be seen through its ability to enrich virtual characters with intelligent behavior, to allow collaboration of humans and machines in the creative process, and to combine narrative knowledge and user activity in interactive artifacts. IDS involves concepts from many aspects of Computer Science, above all from Artificial Intelligence, with topics such as narrative intelligence, automatic dialogue and drama management, and smart graphics. In order to process stories in real time, traditional storytelling needs to be formalized into computable models by drawing from narratological studies. As it is currently hardly accessible for creators and e- users, there is a need for new authoring concepts and tools supporting the creation of such dynamic stories, allowing for rich and meaningful interaction with the content.

The advances in wireless communication technologies and the proliferation of mobile devices have enabled the realization of intelligent environments for people to com- nicate with each other, interact with information-processing devices, and receive a wide range of mobile wireless services through various types of networks and systems everywhere, anytime. This "Internet of Things" will dramatically modify our lives allowing progress in various domains such as health, security, and ITS (intelligent transportation systems). A key enabler of this pervasive and ubiquitous connectivity environment is the - vancement of software technology in various communication sectors, ranging from communication middleware and operating systems to networking protocols and app- cations. The international conference series on Mobile Wireless Middleware, Oper- ing Systems, and Applications (MOBILWARE) is dedicated to addressing emerging topics and challenges in various mobile wireless software-related areas. The scope of the conference includes the design, implementation, deployment, and evaluation of middleware, operating systems, and applications for computing and communications in mobile wireless systems. MOBILWARE 2009 was the second edition of this conference, which was made possible thanks to the sponsorship of ICST and Create-Net and most importantly the hard work of the TPC and reviewers.