In practice, many different people with backgrounds in many different disciplines contribute to the design of an enterprise. Anyone who makes decisions to change the current enterprise to achieve some preferred structure is considered a designer. What is problematic is how to use the knowledge of separate aspects of the enterprise to achieve a globally optimized enterprise. The synthesis of knowledge from many disciplines to design an enterprise defines the field of enterprise engineering. Because enterprise systems are exceedingly complex, encompassing many independent domains of study, students must first be taught how to think about enterprise systems. Specifically written for advanced and intermediate courses and modules, Design of Enterprise Systems: Theory, Architecture, and Methods takes a system-theoretical perspective of the enterprise. It describes a systematic approach, called the enterprise design method, to design the enterprise. The design method demonstrates the principles, models, methods, and tools needed to design enterprise systems. The author uses the enterprise system design methodology to organize the chapters to mimic the completion of an actual project. Thus, the book details the enterprise engineering process from initial conceptualization of an enterprise to its final design. Pedagogical tools available include: For instructors: PowerPoint (R) slides for each chapter Project case studies that can be assigned as long-term projects to accompany the text Quiz questions for each chapter Business Process Analyzer software available for download For students: Templates, checklists, forms, and models to support enterprise engineering activities The book fills a need for greater design content in engineering curricula by describing how to design enterprise systems. Inclusion of design is also critical for business students, since they must realize the import their decisions may have on the long-term design of the enterprises they work with. The book's practical focus and project-based approach coupled with the pedagogical tools gives students the knowledge and skills they need to lead enterprise engineering projects.

This book is intended to introduce the principles of the Event-Driven and Service-Oriented Architecture (SOA 2.0) and its role in the new interconnected world based on the cloud computing architecture paradigm. In this new context, the concept of service is widely applied to the hardware and software resources available in the new generation of the Internet. The authors focus on how current and future SOA technologies provide the basis for the smart management of the service model provided by the Platform as a Service (PaaS) layer.

Parallel Computing: Methods, Algorithms and Applications presents a collection of original papers presented at the international meeting on parallel processing, methods, algorithms, and applications at Verona, Italy in September 1989.

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."

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.

This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.

This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in September 2007.

The 41 revised full papers presented were carefully reviewed and selected from 123 submissions. The papers are organized in topical sections on digital hardware evolution, analog hardware evolution, bio-inspired systems, mechanical hardware evolution, evolutionary design, evolutionary algorithms in hardware design, and hardware implementation of evolutionary algorithms.

This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007, held in Niagara Falls, Canada, in August 2007 (see LNCS 4742).

The 53 revised full papers presented were carefully reviewed and selected from many high quality submissions. The workshops are very specific and contribute to enlarging the spectrum of the more general topics treated in the ISPA 2007 main conference. Topics addressed are Security and Survivability in Distributed Sensor Networks (SSDSN 2007), Ubiquitous Processing for Wireless Networks (UPWN 2007), Intelligent Systems and Smart Home (WISH 2007), Semantic and Grid Computing (SGC 2007), Parallel and Distributed Multimedia Computing (ParDMCom 2007), High Performance Computing in Medicine and Biology (HiPCoMB 2007), as well as Intelligent Systems Techniques for Ad Hoc and Wireless Sensor Networks (IST-AWSN 2007).

In the mid 1990s, researchers began applying Evolutionary Algorithms (EAs) on a kind of computer chip that could dynamically alter the functionality and physicalconnectionsofits circuits. This combinationofEAs withprogrammable electronics (e. g., Field Programmable Gate Arrays (FPGAs) and Field P- grammable Analogue Arrays (FPAAs)) spawned a new ?eld of Evolutionary Computation (EC) called Evolvable Hardware (EH) with its ?rst workshop, - wards Evolvable Hardware, held in Lausanne, Switzerland in October 1995. This workshop was followed by the First International Conference on Evolvable S- tems: From Biology to Hardware (ICES' 96), held inTsukuba, Japanin October 1996. The second ICES was held in Lausanne, September 1998, the third was in Edinburgh, April 2000, the fourth was in Tokyo, October 2001, the ?fth was in Trondheim, March 2003, the sixth was in Sitges, September 2005, and the seventh was in Wuhan, September 2007. Over the years the EH ?eld has expanded beyond the use of EAs on simple electronic devices to encompass many di?erent combinations of EAs and biol- ically inspired algorithms (BIAs) with various physical devices (or simulations of physical devices). Present research in the ?eld of EH can be split into the two related areas of Evolvable HardwareDesign (EHD) and Adaptive Hardware (AH). Evolvable Hardware Design (EHD) is the use of EAs and BIAs for cre- ing physical devices and designs, examples of where EHD has had some success include analogue and digital electronics, antennas, MEMS chips, opticalsystems aswell asquantum circuits.

The 18th International Conference on Inductive Logic Programming was held in Prague, September 10-12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus, we were glad to see in this year's proceedings a good n- ber of papers contributing to areas such as statistical relational learning, graph mining, or the semantic web. To help open ILP to more mainstream research areas, the conference featured three excellent invited talks from the domains of the semantic web (Frank van Harmelen), bioinformatics (Mark Craven) and cognitive sciences (Josh Tenenbaum). We deliberately looked for speakers who are not directly involved in ILP research. We further invited a tutorial on stat- tical relational learning (Kristian Kersting) to meet the strong demand to have the topic presented from the ILP perspective. Lastly, Stefano Bertolo from the European Commission was invited to give a talk on the ideal niches for ILP in the current EU-supported research on intelligent content and semantics.

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 Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangaratiba, Brazil, in March 2007.

The 27 full papers and 10 short papers presented together with a late-comer contribution from ARC 2006 were thoroughly reviewed and selected from 72 submissions. The papers are organized in topical sections on architectures, mapping techniques and tools, arithmetic, and applications.

For manyyears, the idea of recon?gurablehardwaresystems hasrepresentedthe Holy Grail for computer systemdesigners.It has been recognizedfor a long time that the microprocessor provides high ?exibility but at a very low performance merit in terms of MIPS/W or other such measures. Recon?gurable systems are thus attractive as they can be con?gured to provide the best match for the computational requirements at that speci?c time, giving much better area - speed - power performance. However, the practicalities of achieving such a recon?gurable system are - merous andrequirethe developmentof: suitable recon?gurablehardwareto s- portthe dynamicbehavior;programmingtoolsto allowthe dynamicbehavior of the recon?gurability to be modelled; programming languages to support rec- ?guration;andveri?cationtechniquesthatcandemonstratethatrecon?guration hashappenedcorrectlyateachstage.Whiletheproblemsaremany, theexistence and development of technologies such as the multi-core processor architecture, recon?gurable computing architectures, and application-speci?c processors s- gest there is a strong desire for recon?gurable systems. Moreover, FPGAs also provide the ideal platforms for the development of such platforms. The major motivation behind the International Workshop on Applied - con?gurable Computing (ARC) series is to create a forum for presenting and discussing on-going research e?orts in applied recon?gurable computing. The workshop also focuses on compiler and mapping techniques, and new recon- urablecomputingarchitectures.Theseriesofeditionsstartedin2005inAlgarve, Portugal, followed by the 2006 workshop in Delft, The Netherlands, and last year's workshop in Mangaratiba, Rio de Janeiro, Brazil. As in previous years, selectedpapershavebeenpublished asa SpringerLNCS(LectureNotes in C- puter Science) volume.

This book constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005. The volume presents 30 revised full papers and abstracts of 2 invited talks. The papers are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, self-stabilizing systems, peer-to-peer systems and collaborative environments, sensor networks and mobile computing, security and verification, real-time systems, and peer-to-peer systems.

A comprehensive look at the rapidly growing field of low-power VLSI design

Low-power VLSI circuit design is a dynamic research area driven by the growing reliance on battery-powered portable computing and wireless communications products. In addition, it has become critical to the continued progress of high-performance and reliable microelectronic systems. This self-contained volume clearly introduces each topic, incorporates dozens of illustrations, and concludes chapters with summaries and references. VLSI circuit and CAD engineers as well as researchers in universities and industry will find ample information on tools and techniques for design and optimization of low-power electronic systems. Topics include:

• Fundamentals of power dissipation in microelectronic devices
• Estimation of power dissipation due to switching, short circuit, subthreshold leakage, and diode leakage currents
• Design and test of low-voltage CMOS circuits
• Power-conscious logic and high-level synthesis
• Low-power static RAM architecture
• Energy recovery techniques
• Software power estimation and optimization

This book constitutes the refereed joint proceedings of ten international workshops held in conjunction with the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in December 2006. It contains 116 papers that contribute to enlarging the spectrum of the more general topics treated in the ISPA 2006 main conference.

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.

This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France, in December 2006. The 28 revised full papers presented together with two invited talks address all current issues in theory, specification, design and implementation of distributed and embedded systems.

This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007.

The 16 revised full papers presented - 9 papers from the foundations track and 7 from the applications track - were carefully reviewed and selected from 60 submissions. The papers address all current issues of model-driven architecture, i.e. the use of models in the specification, design, analysis, synthesis, deployment, and evolution of complex software systems. Foundational topics covered are metamodeling, model transformations, reverse engineering, testing, simulation, aspect modeling, modeling QoS and security, and software process modeling. The application-oriented papers represent the views and experiences of industrial practicability in MDA, thus setting requirements on the foundations and tools for MDA.

This book constitutes the refereed proceedings of the 12th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2007, held in Seoul, Korea in August 2007.

The 26 revised full papers presented together with 2 keynote 8 invited lectures were carefully reviewed and selected from 92 submissions. The papers encompass a wide range of topics, with much emphasis in hardware and software techniques for state-of-the-art multicore and multithreaded architectures.

This book constitutes the refereed proceedings of the 11th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2006, held in Shanghai in September 2006.

The 60 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from numerous submissions and they address issues as processor and network design, reconfigurable computing and operating systems, including both low- level design issues in hardware and systems. There are papers describing large and significant computer-based infrastructure projects and also many papers which reflect the move to concurrency on chip in multi-core devices and many more are concerned with the significant problems industry will face with stricter budgets in power dissipation.

This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2007, held in Taipei, Taiwan, in December 2007.

The 65 revised full papers presented were carefully reviewed and selected from 217 submissions. The papers are organized in topical sections on power aware computing, reconfigurable embedded systems, wireless networks, real-time/embedded operating systems, embedded system architectures, scheduling and resource management, mobile computing, system security, network protocols, fault tolerance, human-computer interface and data management, hw/sw co-design and design automations, service-aware computing, sensor networks, ad hoc and sensor networks, ubiquitous computing, and embedded software designs.

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. "

This book constitutes the refereed post-proceedings of the second international joint workshops on Wireless and Mobility and on New Trends in Network Architectures and Services organized by the European Network of Excellence on Next Generation Internet, EURO-NGI 2005. The 19 revised full research papers presented together with 1 invited talk are organized in topical sections on wireless solutions, QoS support in next generation networks, and peer to peer architectures and algorithms.

Model-Driven Architecture, including model-drivenapproaches in general, holds the big promise of moving software development towards a higher level of - straction. Given the challenges in the software industry of delivering more c- plex functionality with less e?ort, I am convinced that it isn't a question of whether model-driven development will succeed, but rather a question of when it will break through. However, before this can happen, we have many challe- ing problems to conquer. There are both theoretical and pragmatic problems to solve and therefore we need a close collaboration between industry and the academic world. ThegoaloftheEuropeanConferenceonModel-DrivenArchitecture-Fo- dations and Applications (ECMDA-FA) is to bring together industry and academia to tackle the problems in model-driven development. This volume includes 18 foundation papers and 12 application papers, which is a ?ne b- ance between both worlds. ECMDA-FA 2006 also hosted six workshops on both theoretical and practical aspects of MDA. Furthermore, the keynote speakers, David Frankel and Bran Selic, from some of the world's largest IT companies proved that industry is very much involved in MDA.

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2006, held in Bologna, Italy, June 2006. The book presents 21 revised regular and 5 revised work-in-progress papers, on architectures, models, technologies and platforms for interoperable, scalable and adaptable systems and cover subjects as methodological aspects, tools and language of building adaptable distributed and interoperable services, and many more.