Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004, Toulouse (France) in 2003, Vienna (Austria) in 2002, Leuven (Belgium) in 2001, Potsdam(Germany)in2000, Santander(Spain)in1999, Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe, incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice,

This book contains the best papers from the International Conference on Web Inf- mation Systems and Technologies (WEBIST 2007), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), endorsed by IW3C2, and held in Barcelona, Spain. The purpose of WEBIST is to bring together researchers, engineers, and practit- ners interested in the technological advances and business applications of web-based information systems. It has four main topic areas, covering different aspects of web information systems, namely, internet technology; web interfaces and applications; society, e-business and e-government; and e-learning. WEBIST 2007 received 367 submissions from more than 50 countries across all continents. After a double-blind review process, with the help of more than 200 - perts from the international program committee, and also after presentation at the conference, 23 papers were finally selected. Their extended and revised versions are published in this book. This strict selection made the conference appealing to a global audience of engineers, scientists, business practitioners, and policy experts. The - pers accepted and presented at the conference demonstrated a number of new and innovative solutions for e-business and web information systems in general, showing that the technical problems in this field are challenging and worth further R&D effort. The program of this conference also included three outstanding keynote lectures presented by internationally renowned distinguished researchers. Their keynote speeches reinforced the overall quality of the event.

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006.

The 34 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 155 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.

Whether ERP software, office applications, open-source products or online games: In terms of its economic characteristics, software differs fundamentally from industrial goods or services. Based on the economic principles and rules of the software industry, the book reveals strategies and business models to software vendors that comprise cooperation, distribution, pricing and production and industrialization strategies, as well as software as a service and platform concepts. Further aspects including the outsourcing behavior of software vendors and users; providing business software as open source software; selecting software; and the value chains in the software industry are also addressed. Based on a number of expert meetings, it contains numerous case studies and new empirical findings. Target audience of the book are professionals and executives from the software, consulting and IT branches as well as students and scholars of business administration, computer science, business and industrial engineering.

This book constitutes the refereed proceedings of the 12th International Workshop on Groupware, CRIWG 2006. The book presents 21 revised full papers and 13 revised short papers, carefully reviewed and selected from 99 submissions. Topical sections include collaborative applications and group interaction, group awareness, computer supported collaborative learning, languages and tools supporting collaboration, groupware development frameworks and toolkits, collaborative workspaces, web-based cooperative environments, mobile collaborative work, and collaborative design.

This book constitutes the refereed proceedings of the 8th International Conference on Product Focused Software Process Improvement, PROFES 2007, held in Riga, Latvia in July 2007.

The 29 revised full papers presented together with 4 reports on workshops and tutorials and 4 keynote addresses were carefully reviewed and selected from 55 submissions. The papers constitute a balanced mix of academic and industrial aspects; they are organized in topical sections on global software development, software process improvement, software process modeling and evolution, industrial experiences, agile software development, software measurement, simulation and decision support, processes and methods.

This book constitutes the thoroughly refereed post-proceedings of the 1st and 2nd International Conference on Web Information Systems and Technologies, WEBIST 2005 and 2006, held in Miami, FL, USA, and Setubal, Portugal, respectively.

The 30 revised full papers presented in this volume were carefully reviewed and selected from more than 300 submissions overall. In addition, three keynote presentations are also included. The papers address all relevant aspects of web information systems technologies and applications and are grouped into four parts about internet technology; web interfaces and applications; society, e-business and e-government; and e-learning.

Fabriken mussen sich heute in einem turbulenten, d.h. sich standig verandernden Umfeld behaupten. Sie konnen dies nur, wenn ihre Produktionssysteme hinreichend flexibel und wandlungsfahig sind. Die Autoren stellen ein neues Produktionssystem vor, das eine schnelle und verlustfreie Anpassung der Fabrik ermoglicht das Stuttgarter Unternehmensmodell. Es zeigt neue Wege fur die Organisation und den Betrieb von Unternehmen und beinhaltet die Elemente Selbstorganisation, Selbstcontrolling, Selbstoptimierung, Kooperationsfahigkeit und Kommunikation. Die neu entwickelten Methoden, Instrumente und Losungsansatze wurden in einer Modellfabrik erfolgreich umgesetzt. In diesem Buch werden sie erstmals umfassend vorgestellt."

This book constitutes the refereed proceedings of the First International Conference on Software Process, held in Minneapolis, MN, USA, in May 2007. The 28 revised full papers presented together with the abstracts of two keynote addresses cover process content, process tools and metrics, process management, process representation, analysis and modeling, experience report, and simulation modeling.

Auf der Basis weitgehend konsolidierter und ausgepragter SAP R/3-Systeme gewinnt die Optimierung des R/3-Einsatzes auf der Kosten- und Leistungsseite an Bedeutung, um Wettbewerbsvorteile zu erarbeiten. Eine der wichtigsten Dimensionen dieser Optmierung ist die konsequente Prozessintegration, um betriebliche Ablaufe schneller, sicherer und kostengunstiger zu gestalten. Dieser Ansatz fuhrt zwangslaufig zum Thema Workflow Management und fur SAP-Anwender zum SAP WebFlow. Das vorliegende Buch fuhrt in das Thema Workflow Management ein, zeigt die technischen Moglichkeiten im Uberblick und macht Potenziale, Risiken und Wirtschaftlichkeiten anhand von vielfaltigen Praxisbeispielen deutlich. Konkrete Checklisten und technische Tipps erleichtern die Potenzialbeurteilung und die Projektierung."

Dieses Buch befasst sich mit den Grundlagen der Bildbearbeitung und von GIMP: Docks, Werkzeuge, Filter, Auswahlen, Ebenen und Pfade werden Ihnen bald sehr vertraut sein. Sie wollen Bilder verbessern und kombinieren oder gar neue Bilder erzeugen? Mit GIMP kein Problem. Sie sind sicher, dass GIMP eine bestimmte FunktionalitAt hat, wissen aber nicht, wo suchen? Schlagen Sie in diesem Buch nach! FA1/4r Fortgeschrittene bietet es zudem noch jede Menge Tipps zu Spezialeffekten, zum zerstArungsfreien Arbeiten, zum SchArfen und Weichzeichnen und zu vielen anderen Dingen, die bei der Bildbearbeitung SpaA machen.

This volume constitutes the proceedings of the 11th International Workshop on Groupware (CRIWG 2005). The conference was held in Porto de Galinhas (Recife), Brazil. The previous ten CRIWG workshops were organized in Lisbon, Portugal (1995), Puerto Varas, Chile (1996), El Escorial, Spain (1997), Buzios, Brazil (1998), Cancun, Mexico (1999), Madeira, Portugal (2000), Darmstadt, Germany(2001), La Serena, Chile (2002), Autrans, France(2003), and San C- los, Costa Rica (2004). CRIWG workshops follow a simple recipe for success: good papers, a relatively small number of attendees, extensive time for lively and constructive discussions, and a high level of cooperation both within and between paper sessions. CRIWG 2005 continued this tradition. This 11th CRIWG exempli?ed the continuing interest in the groupware - searcharea.Groupwareresearchersfrom 16 di?erent countriessubmitted a total of67papers.Eachofthe67paperswasreviewedbyatleastthreemembersofan internationally renowned Program Committee, using a double-blind reviewing process. Based on the reviewers recommendations 29 papers were ?nally - cepted: 16 long papers presenting mature work, and 13 short papers describing workinprogress.Theacceptedpapersweregroupedinto8themesthatrepresent current areas of interest in groupware research: groupware development, coll- orative applications, work?owmanagement, knowledge management, comput- supported collaborativelearning, groupdecision support systems, mobile coll- orativework, andworkmodeling inCSCW. In addition, wewerepleasedto have Gerry Stahl from Drexel University in Philadelphia, USA, a renowned specialist in CSCL, as keynote spea

* Practically orientated, and assumes no previous knowledge of coding, making sure that the reader can actually use ActionScript to build a working website via real and detailed examples and case studies. * Previous best seller-successful writing style and tone from an author that has proved to be popular with readers of previous editions. In fact, this is the middle book in an integrated three-book Flash series from Beginner to Advanced, all written/co-written by the same author (Foundation Flash, Foundation ActionScript, and the Designer's ActionScript Reference) - no other publisher provides this sort of unbroken coverage from a single voice. * Covers both Flash MX 2004 and Flash MX Professional 2004.

Create excellent 3D animations with free, open-source software.

When you’re looking for help with creating animation with Blender, look no further than the top-selling Blender book on the market. This edition of Blender For Dummies covers every step in the animation process, from basic design all the way to finished product. This book walks you through each project phase, including creating models, adding lighting and environment, animating objects, and building a final shareable file. Written by long-time Blender evangelist Jason van Gumster, this deep reference teaches you the full animation process from idea to final vision. With this fun and easy guide, you’re on your way toward making your animation dreams a reality.

• Set up Blender and navigate the interface
• Learn how to build models in virtual space
• Texture, light, and animate your figures―then render your final product
• Get help and inspiration from the Blender community

If you’re new to Blender or an experienced user in need of a reference, Blender For Dummies is the easy-to-use guide for you.

* Will appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity both because of Joel's influence in the community and the influence of the contributors

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

"Complete Guide to OneNote" is aimed at making users more productive by helping them organize what are today ephemeral and disconnected scraps of personal information gathered prior to the creation of a formal work product.

This comprehensive reference explains this new category of software and its user paradigm, including detailed discussion of features, and interoperability with other programs and services from Microsoft and from third parties. The book also provides general and domain-specific guidance on how you can use OneNote to increase personal and enterprise productivity and information about customizing OneNote, including information for Office XP developers.

Throughout the book, author and Microsoft MVP W. Frederick Zimmerman draws on his extensive experience with Microsoft emerging technologies and his deep understanding of how professionals use software in their workflow. The result is a practical book that appeals to casual OneNote users and beginners, yet is an essential guide for power users, Office developers, and anyone who wants to take full advantage of this innovative new application.

This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The or- nizing committee could not have thought of a better setting to inspire lively discussions and re?ection on open issues facing the ?eld of groupware. The CRIWG workshops have been motivated by advances in Computer- Supported Cooperative Work, and by the need for CSCW to meet the challenges of new application areas. With this ninth meeting, CRIWG aimed to provide a forum for academic researchers and professionals to exchange their experiences and ideas about problems and solutions related to the design, development, and use of groupware applications. The selection of papers followed a strict refereeing process by a renowned international committee. We received 84 contributions with ?rst authors from 21 di?erent countries, from which 30 papers were selected to be presented and published in this proceedings volume. The papers in these proceedings include 18longpaperspresentingmatureworkand12shortpapersdescribingpromising work in progress in the ?eld. We thank all members of the Program Committee for their valuable reviews of the papers. In addition, we were pleased to have as invited speaker Prof. Saul Greenberg from the University of Calgary in Canada, a renowned specialist in Groupware and HCI. An extended abstract of his lecture is included in these proceedings.

Welcome to the 2nd International Conference on Image and Video Retrieval, CIVR2003. The goal of CIVR is to illuminate the state of the art in visual information retrieval and to stimulate collaboration between researchers and practitioners. This year we received 110 submissions from 26 countries. Based upon the reviews of at least 3 members of the program committee, 43 papers were accepted for the research track of the conference. First, we would like to thank all of the members of the Program Committee and the additional referees listed below. Their reviews of the submissions played a pivotal role in the quality of the conference. Moreover, we are grateful to Nicu Sebe and Xiang Zhou for helping to organize the review process; Shih-Fu Chang and Alberto del Bimbo for setting up the practitioner track; and Erwin Bakker for editing the proceedings and designing the conference poster. Special thanks go to our keynote and plenary speakers, Nevenka Dimitrova fromPhilipsResearch, RameshJainfromGeorgiaTech, ChrisPorterfromGetty Images, andAlanSmeatonfromDublinCityUniversity.Furthermore, wewishto acknowledge our sponsors, the Beckman Institute at the University of Illinois at Urbana-Champaign, TsingHuaUniversity, theInstitutionofElectricalEngineers (IEE), PhilipsResearch, andtheLeidenInstituteofAdvancedComputerScience at Leiden University. Finally, we would like to express our thanks to severalpeople who performed important work related to the organization of the conference: Jennifer Quirk and Catherine Zech for the localorganizationat the BeckmanInstitute; Richard Harvey for his help with promotional activity and sponsorship for CIVR2003; andtotheorganizingcommitteeofthe?rstCIVRforsettinguptheinternational mission and structure of the co

Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4 6, 2003. This volume is the collection of the papers that were presented at ISSS 2003. The proceedings of ISSS 2002 was published as LNCS 2609. Although the security and reliability of software systems for networked c- puter systems are major concerns of current society, the technology for software securitystillneedstobedevelopedinmanydirections.SimilartoISSS2002, ISSS 2003 aimed to provide a forum for research discussions and exchanges among world-leading scientists in the ?elds of both theoretical and systems aspects of security in software construction. The program of ISSS 2003 was a combination of invited talks and selected research contributions. It included the most recent visions and researches of the 9invitedspeakers, aswellas11contributionsofresearchesfundedbytheMEXT grant-in-aid for scienti?c research on the priority area Implementation Scheme for Secure Computing (AnZenKaken). We collected the original contributions after their presentation at the symposium and began a review procedure that resulted in the selection of the papers in this volume. They appear here in ?nal form. ISSS 2003 required a lot of work that was heavily dependent on members of the program committee, and sta's and graduate students who participated in AnZenKaken. We sincerely thank them for their e?orts and time."

This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book  presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

This volume constitutes the proceedings of the 10th International Workshop on Groupware (CRIWG 2004). The conference was held in San Carlos, Costa Rica, and followed the traditional CRIWG spirit: a relatively small number of attendees, lively discussions and participation during and between paper p- sentations, and a constructive and friendly environment, which promoted a high level of learning and collaboration. The previous nine CRIWG workshops were organized in Lisbon, Portugal (1995), Puerto Varas, Chile (1996), El Escorial, Spain (1997), Buzios, Brazil (1998), Cancun, Mexico (1999), Madeira, Portugal(2000), Darmstadt, Germany (2001), La Serena, Chile (2002), and Autrans, France (2003). This 10th anniversary CRIWG exempli?ed the continuing interest in the groupwareresearcharea.Groupwareresearchersfrom 14 di?erent countriess- mitted a total of 71 papers. Each of the 71 papers was reviewed by two to three members of an international Program Committee, using a double-blind revi- ing process. Reviewers were carefully matched to paper submissions as much as possible to ensure expert assessments of the submitted research while avo- ing potential con?icts of interest. Reviews were usually extensive and contained many constructive suggestions for improvement. Based on the reviewers' rec- mendations 29 papers were ?nally accepted: 16 long papers presenting mature work, and13shortpapersdescribingworkinprogress.Theacceptedpaperswere grouped into seven themes that represent current pockets of interest in gro- wareresearch: knowledgemanagement, awareness, supportforcollaborationp- cesses, collaborativeapplications, groupwareinfrastructure, computer-supported collaborative learning, and mobile collaborati

Description With Kubernetes, users don't have to worry about which specific machine in their data center their application is running on. Each layer in their application is decoupled from other layers so they can scale, update, and maintain them independently. Kubernetes in Action teaches developers how to use Kubernetes to deploy self-healing scalable distributed applications. By the end, readers will be able to build and deploy applications in a proper way to take full advantage of the Kubernetes platform. Key features * Easy to follow guide * Hands-on examples * Clearly-written Audience The book is for both application developers as well as system administrators who want to learn about Kubernetes from the developer's perspective. About the Technology Kubernetes abstracts away the hardware infrastructure and exposes your whole datacenter as a single enormous computational resource.

As with other parts of business, technology is having a profound effect on the world of work and management of human resources. Technology is a key enabler for faster, cheaper and better delivery of HR services and in some cases can have a transformational as well as unintended negative effect. Designed for the digital era, e-HRM is one of the first textbooks on these developments. It incorporates the most current and important HR technology related topics in four distinct parts under one umbrella, written by leading scholars and practitioners drawn from across the world. All the chapters have a uniform structure and pay equal attention to theory and practice with an applied focus. Learning resources of the book include chapter-wide learning objectives, case studies, debates on related burning issues, and the companion website includes lecture slides and a question bank.

The 18 revised full papers presented in this book together with an introductory survey were carefully reviewed and constitute the documentation of the Second International Workshop on Self-adaptive Software, IWSAS 2001, held in Balatonfüred, Hungary in May 2001. Self-adaptive software evaluates its own behavior and changes it when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well known dynamic features familiar to Lisp or Java programmes and aims at improving the robustness of software systems by gradually adding new features of self-adaption or autonomy.