This book constitutes the refereed proceedings of the 10th International Conference on Passive and Active Measurement, PAM 2009, held in Seoul, Korea, in April 2009.

The 22 revised full papers and 2 revised demo papers presented were carefully reviewed and selected from 77 submissions. The papers focus on research and practical applications of routing and forwarding, topology and delay, methods for large-scale measurements, wireless, management tools, audio and video traffic, peer-to-peer, traffic measurements, and measurements of anomalous and unwanted traffic.

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January 2009.

The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

This book presents a comprehensive compilation of practical systems engineering models. The application and recognition of systems engineering is spreading rapidly, however there is no book that addresses the availability and usability of systems engineering models. Notable among the models to be included are the V-Model, DEJI Model, and Waterfall Model. There are other models developed for specific organizational needs, which will be identified and presented in a practical template so that other organizations can learn and use them. A better understanding of the models, through a comprehensive book, will make these models more visible, embraced, and applied across the spectrum. Visit www.DEJImodel.com for model details. Features Covers applications to both small and large problems Displays decomposition of complex problems into smaller manageable chunks Discusses direct considerations of the pertinent constraints that exist in the problem domain Presents systematic linking of inputs to goals and outputs

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs.

HiPEAC2009wasthe fourthedition ofthe HiPEACconferenceseries.This c- ferenceseriesislargelyassociatedwiththeFP7NetworkofExcellenceHiPEAC2. The ?rst three editions of the conference in Barcelona (2005), Ghent (2007) and G] oteborg (2008) attracted a lot of interest with more than 200 attendees at the last two editions and satellite events. It is a great privilege for us to welcome you to the fourth HiPEAC conference in the beautiful, touristic city of Paphos, Cyprus. The o?erings of this conference are rich and diverse. We o?er attendees a set of seven workshopson topics that are central to the HiPEAC network roadmap: multi-cores, simulation and performance evaluation, compiler optimizations, - sign reliability, recon?gurable computing, and interconnection networks. Ad- tionally, a tutorial on design reliability is o?ered. Theconferenceprogramwasasrichaslastyear's.Itfeaturedmanyimportant andtimelytopicssuchasmulti-coreprocessors, recon?gurablesystems, compiler optimization, power-awaretechniquesand more.The conferencealso o?ered two keynote speeches: Tilak Agerwala from IBM Research presenting the view from a major industry player, and Fran, cois Bodin from CAPS-Entreprise presenting the view of a start-up. There were several social activities during the conference o?ering ample - portunity for informal interaction. These included a reception, an excursion to various archeological sites and a banquet at a traditional tavern. Thisyearwereceived97papersubmissions, ofwhich14wereco-authoredbya Program Committee member. Papers were submitted from 20 di?erent nations (approximately 46% from Europe, 15% from Asia, 32% from North America, 4% from Africa and the Middle East, and 3% from South America), which is an indicator of the global visibility of the conference."

These are the proceedings of IPTComm 2008 - the Second Conference on Pr- ciples, Systems andApplications ofIP Telecommunications-heldinHeidelberg, Germany, July 1-2, 2008. The scope of the conference included recent advances in the domains of convergent networks, VoIP security and multimedia service environments for next generation networks. The conference attracted 56 s- missions, of which the Program Committee selected 16 papers for publication. The review process followed strict standards: each paper received at least three reviews. We would like to thank all Program Committee members and external reviewers for their contribution to the review process. The conference attracted attendees from academia and industry. Its excellence is re?ected in the quality of the contributed papers and invited talks. Additional industry talks and - plied demonstrations assured a synergy between academic and applied research. We would also like to acknowledge and thank our sponsors, many of whom s- portedtheconferencegenerously: NEC, AT&T, Codenomicon, IPTEGO, EADS, Cellcrypt, MuDynamics, SIP Forum and EURESCOM, Finally, we would like to thank all the researchers and authors from all over the world who submitted their work to the IPTComm 2008 conferenc

Thisvolumecontainstheproceedingsofthe?rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4-5, 2008. While there are several venues that cover computational methods in systems biology, there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways that can signi?cantly advance our understanding of biological systems. As a forum for this discussion we invited key scientists in the area of formal methods to this unique meeting. Although this was a one-o? meeting, we are exploring the possibility of this forming the ?rst of what might become an annual conference. Presentations at the meeting were by invitation only; future meetings are expected to operate on a submission and review basis. The Steering Committee and additional referees reviewed the invited papers. Each submission was evaluated by at least two referees. The volume includes nine invited contributions. Formal Methods in Systems Biology 2008 was made possible by the cont- bution and dedication ofmany people. First of all, we wouldlike to thank allthe authors who submitted papers. Secondly, we would like to thank our additional invited speakers and participants. We would also like to thank the members of the Steering Committee for their valuable comments. Finally, we ackno- edge the help of the administrative and technical sta? at the MicrosoftResearch Cambridge la

at the distributed virtual Program Committee meeting. Each paper's review recomm- dationswere carefully checkedfor consistency; in many instances, the Vice Chairs read the papers themselves when the reviews did not seem suf?cient to make a decision. Throughout the reviewing process, I received a tremendous amount of help and advice from General Co-chair Manish Parashar, Steering Chair Viktor Prasanna, and last year's Program Chair Srinivas Aluru; I am very grateful to them. My thanks also go to the Publications Chair Sushil Prasad for his outstanding efforts in putting the proceedings together. Finally, I thank all the authors for their contributions to a hi- quality technical program. I wish all the attendees a very enjoyable and informative meeting. December 2008 P. Sadayappan Message from the General Co-chairs and the Vice General Co-chairs On behalf of the organizers of the 15th International Conference on High-Performance Computing(HiPC), it is our pleasureto present these proceedingsand we hopeyou will ?nd them exciting and rewarding. TheHiPCcallforpapers, onceagain, receivedanoverwhelmingresponse, attracting 317submissionsfrom27countries.P.Sadayappan, theProgramChair, andthe Program Committee worked with remarkablededication to put together an outstandingtechnical program consisting of the 46 papers that appear in these proceedings.

Patients have always been encouraged to be active participants in managing their health. New technologies, cultural shifts, trends in healthcare delivery, and policies have brought the patients' role in healthcare to the forefront. This 2-volume set reviews and advances the emerging discipline of Patient Ergonomics. The set focuses on patients and their performance. It presents practical recommendations and case studies useful for researchers and practitioners. It covers diverse healthcare settings outside of hospitals and clinics, and provides a combination of foundational content and specific applications in detail. The 2-volume set will be ideal for academics working in healthcare and patient-centered research, their students, human factors practitioners (consultants, employees of health systems and technology/medical device compaines), healthcare professionals (physicians, nurses, pharmacists), and organizational leaders (healthcare administrators and executives).

On behalf of the IEEE Communications Society, Technical Committee on N- work Operations and Management (CNOM), Manweek 2008 Organizing C- mittee, and members of the IPOM Technical Program Committee, it is our pleasureto present the proceedings of the 8th IEEE Workshop on IP Operations and Management(IPOM 2008),heldaspartofManweek2008duringSeptember 22-26, 2008, on Samos, Greece. ThecurrentInternetisalarge-scaledistributedsystemwhosesub-components suchasaddressing,protocols,algorithms,services,need to scalein time withthe rapid growth of Internet tra?c volumes. Moreover, there is a high level of int- action between di?erent subcomponents of the Internet sometimes in undesired ways - for example, denial of service attacks can jeopardize the operation of a commercial network. With these challenges in place, operations and mana- ment of IP networks have become increasingly important. This necessitates a good understanding of the emerging technical and scienti?c problems in the current Internet, and lessons from such understanding will be particularly - portant for future Internet design and management. Building on the success of the previous events, we wanted IPOM 2008 to focus on network management challenges for the current Internet as well as on future Internet design.

This volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008), which was held on Samos, Greece during September 22-26 as part of the 4th International Week on Management of Networks and Services (Manweek 2008). As in the previous three years, the Manweek umbrella - lowed an international audience of researchers and scientists from industry and academia - who are researching and developing management systems - to share views and ideas and present their state-of-the-art results. The other events co-located with Manweek 2008 were the 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2008), the 8th IEEE Workshop on IP Operations and Management (IPOM2008), the Third IEEE International Workshop on Modeling Autonomic CommunicationsEnvironments(MACE2008),the4thIEEE/IFIPInternational Workshop on End-to-End Virtualization and Grid Management (EVGM 2008) andthe5thInternationalWorkshoponNext-GenerationNetworkingMiddleware (NGNM 2008). Under this umbrella, MMNS again proved itself as a top public venue for dissemination of results and intellectual collaboration with speci?c emphasis on the management of emerging mobile and wireless networks. The objective of the conference is to bring together researchers and scientists from academia and industry interested in state-of-the-artmanagementof convergedmultimedia networks and services across heterogeneous networking infrastructures.

This book constitutes the refereed proceedings of the 7th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2007, held in Samos, Greece in July 2007.

The 44 revised full papers presented together with 2 keynote talks were thoroughly reviewed and selected from 116 submissions. The papers are organized in topical sections on system modeling and simulation, VLSI architectures, scheduling and programming models, multi-processor architectures, reconfigurable architectures, design space exploration, processor components, embedded processors, SoC for SDR, and wireless sensors.

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, held in Las Palmas de Gran Canaria, Spain, in August 2008.

The 86 revised papers presented were carefully reviewed and selected from 264 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load balancing; high performance architectures and compilers; parallel and distributed databases; grid and cluster computing; peer-to-peer computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; distributed and high-performance multimedia; theory and algorithms for parallel computation; and high performance networks.

This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference and publication in this v- ume. In keeping with longstanding tradition, TPHOLs 2008 also o?ered a venue for the presentation of emerging trends, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2008 technical report of Concordia University. The organizersaregratefulto MichaelGordonand StevenMiller for agreeing togiveinvitedtalksatTPHOLs2008.Aspartofthecelebrationofthe20yearsof TPHOLs, TPHOLs 2008 invited tool developers and expert users to give special tool presentations of the most representative theorem provers in higher order logics. The following speakers kindly accepted our invitation and we aregrateful tothem: YvesBertot(Coq), MattKaufmann(ACL2), SamOwre(PVS), Konrad Slind (HOL), and Makarius Wenzel (Isabel

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008.

The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications.

This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. In addition, the conf- ences always welcome a range of invited talks that survey related domains, as well as satellite events such as tutorials and workshops. The 2008 conference had six invited speakers, two advanced tutorials, and four workshops. Detailed information about PETRI NETS 2008 and the related events can be found at http: //ictt. xidian. edu. cn/atpn-acsd2008. The PETRI NETS 2008 conference was organized by the Institute of C- puting Theory andTechnologyat Xidian University, Xi'an, China, where it took place during June 23-27, 2008. We would like to express our deep thanks to the Organizing Committee, chaired by Zhenhua Duan, for the time and e?ort - vested in the conference and for all the help with local organization. We are also grateful for the ?nancial support of the National Natural Science Foundation of China (NSFC) (Grant No. 60433010), Xidian University, and the Institute of Computing Theory and Technology at Xidian University.

This book constitutes the refereed proceedings of the 20th International Conference on Architecture of Computing Systems, ARCS 2007, held in Zurich, Switzerland in March 2007.

The 20 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 83 submissions. The papers cover a broad range of research topics related to basic technology, architecture, and application of computing systems with a strong focus on system aspects of pervasive computing and self organization techniques in both organic and autonomic computing.

This book constitutes the refereed proceedings of the 7th International IFIP-TC6 Networking Conference, NETWORKING 2008, held in Singapore, in May 2008.

The 82 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on ad hoc and sensor networks: design and optimization, MAC protocol, overlay networking, and routing; next generation internet: authentication, modeling and performance evaluation, multicast, network measurement and testbed, optical networks, peer-to-peer and overlay networking, peer-to-peer services, QoS, routing, security, traffic engineering, and transport protocols; wireless networks: MAC performance, mesh networks, and mixed networks.

Answers to your most pressing SOA development questions

How do we start with service modeling? How do we analyze services for better reusability? Who should be involved? How do we create the best architecture model for our organization? This must-read for all enterprise leaders gives you all the answers and tools needed to develop a sound service-oriented architecture in your organization.

Praise for Service-Oriented Modeling

Service Analysis, Design, and Architecture

"Michael Bell has done it again with a book that will be remembered as a key facilitator of the global shift to Service-Oriented Architecture. . . . With this book, Michael Bell provides that foundation and more--an essential bible for the next generation of enterprise IT."
--Eric Pulier, Executive Chairman, SOA Software

"Michael Bell's insightful book provides common language and techniques for business and technology organizations to take advantage of the SOA paradigm. By focusing modeling techniques on the business problem, Bell provides a way for professionals to work throughout the life cycle to create reusable and enduring services."
--Mike Zbranak, CIO, Chase Card Services

"This book will become an imperative business and technology service-oriented modeling recipe for any manager, architect, modeler, analyst, and developer in today's software development industry."
--Jeff Schneider, CEO, MomentumSI

"'Innovative' and 'groundbreaking' are words that best describe Michael Bell's Service-Oriented Modeling. It depicts a true service modeling approach that elegantly closes a clear and critical service modeling gap in the SOA industry. This holistic book ties these concepts togetherusing real-world examples across a service life cycle that transitions services from ideas and concepts into production assets that deliver business value. A must-read for business and technical SOA practitioners."
--Eric A. Marks, CEO, AgilePath Corporation

"As hot as SOA is today, many business and technology professionals still find it challenging to mind the gap between their disparate methodologies and objectives. Herein Michael Bell speaks clearly to both camps in straightforward language, outlining disciplines each can use to communicate effectively and advance the realization of corporate aims. This book is a bible for all who seek to drive business/technology into the future."
--Mark Edward Goodrich, Director, Investing Product Management, Reuters Media

"This book takes senior IT architects and systems designers into the depths of modeling for SOA, with a fresh new perspective on tools, terminology, and how to turn the theory into practice. His full life-cycle approach balances process, control, and accountability to align all the participants in the delivery pipeline--clearing the road for successful SOA business solutions."
--Phil Gilligan, Chief Technology Officer, EBS

A survey of the philosophical implications and practical applications of fuzzy systems

Fuzzy mathematical concepts such as fuzzy sets, fuzzy logic, and similarity relations represent one of the most exciting currents in modern engineering and have great potential in applications ranging from control theory to bioinformatics. Data Engineering guides the reader through a number of concepts interconnected by fuzzy mathematics and discusses these concepts from a systems engineering perspective to showcase the continuing vitality, attractiveness, and applicability of fuzzy mathematics.

The author discusses the fundamental aspects of data analysis, systems modeling, and uncertainty calculi. He avoids a narrow discussion of specialized methodologies and takes a holistic view of the nature and application of fuzzy systems, considering principles, paradigms, and methodologies along the way. This broad coverage includes:

• Fundamentals of modeling, identification, and clustering
• System analysis
• Uncertainty techniques
• Random-set modeling and identification
• Fuzzy inference engines
• Fuzzy classification, control, and mathematics

In the important emerging field of bioinformatics, the book sets out how to encode a natural system in mathematical models, describes methods to identify interrelationships and interactions from data, and thereby helps the practitioner to decide which variables to measure and why.

Data Engineering serves as an up-to-date and informative survey of the theoretical and practical tools for analyzing complex systems. It offers a unique treatment of complex issues that is accessible to students and researchers from a variety of backgrounds.

ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.

This well-respected text is designed for the first course in probability and statistics taken by students majoring in Engineering and the Computing Sciences. The prerequisite is one year of calculus. The text offers a balanced presentation of applications and theory. The authors take care to develop the theoretical foundations for the statistical methods presented at a level that is accessible to students with only a calculus background. They explore the practical implications of the formal results to problem-solving so students gain an understanding of the logic behind the techniques as well as practice in using them. The examples, exercises, and applications were chosen specifically for students in engineering and computer science and include opportunities for real data analysis.

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France.

The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on Model Driven Engineering, Testing, Language Extensions, Implementation and Modeling Experience and Extensions.

Thus all aspects of systems design and system design languages are addressed.

Das 20. Fachgesprach Autonome Mobile Systeme (AMS 2007) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, die auf dem Gebiet der autonomen mobilen Systeme arbeiten, eine Basis fur den Gedakenaustausch bietet und wissenschfltiche Diskussionen sowie Kooperationen auf diesem Forschungsgebiet fordert bzw. initiiert. Inhaltlich setzt das Fachgesprach den diesjahrigen Schwerpunkt auf Arbeiten im Bereich der kognitiven Automobile und Laufmaschinen. Ausgewahlte Beitrage zu den Themen Fahrerassistenzsysteme, Humanoide Roboter, Kartierung und Lokalisation, Navigation, Lernverfahren, System- und Steuerungsarchitekturen sowie der Anwendung von autonomen mobilen Systemen bilden den Inhalt dieses Bandes. "