"Grep Pocket Reference" is the first guide devoted to grep, the powerful utility program that helps you locate content in any file on a Unix or Linux system. Several applications use grep, from mail filtering and system log management to malware analysis and application development, and there are many other ways to use the utility. This pocket reference is ideal for system administrators, security professionals, developers, and others who want to learn more about grep and take new approaches with it.With "Grep Pocket Reference", you will: learn methods for filtering large files for specific content; acquire information not included in the current grep documentation; get several tricks for using variants such as egrep; keep key information about grep right at your fingertips; and, find the answers you need about grep quickly and easily. If you're familiar with this utility, "Grep Pocket Reference" will help you refresh your basic knowledge, understand rare situations, and find more efficient uses. If you're new to grep, this book is the best way to get started.

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm.

Adaptation, for purposes of self-healing, self-protection, self-management, or self-regulation, is currently considered to be one of the most challenging pr- erties of distributed systems that operate in dynamic, unpredictable, and - tentially hostile environments. Engineering for adaptation is particularly c- plicated when the distributed system itself is composed of autonomous entities that, on one hand, may act collaboratively and with benevolence, and, on the other, maybehavesel?shlywhilepursuingtheirowninterests.Still, theseentities have to coordinate themselves in order to adapt appropriately to the prevailing environmental conditions, and furthermore, to deliberate upon their own and the system's con?guration, and to be transparent to their users yet consistent with any human requirements. The question, therefore, of "how to organize the envisagedadaptationforsuchautonomousentitiesinasystematicway"becomes of paramount importance. The ?rst international workshop on "Organized Adaptation in Multi-Agent Systems" (OAMAS) was a one-day event held as part of the workshop p- gram arranged by the international conference on Autonomous Agents and Multi-Agent Systems (AAMAS). It was hosted in Estoril during May, 2008, and was attended by more than 30 researchers. OAMAS was the steady convergence of a number of lines of research which suggested that such a workshop would be timely and opportune. This includes the areas of autonomic computing, swarm intelligence, agent societies, self-organizing complex systems, and 'emergence' in general.

This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis?ability Testing (SAT) started in 1996 as a series of workshops, and, in parallel with the growthof SAT, developedinto the main eventfor SAT research. This year'sc- ference testi?ed to the strong interest in SAT, regarding theoretical research, - searchonalgorithms, investigationsintoapplications, anddevelopmentofsolvers and software systems. As a core problem of computer science, SAT is central for many research areas, and has deep interactions with many mathematical s- jects. Major impulses for the development of SAT came from concrete practical applications as well as from fundamental theoretical research. This fruitful c- laboration can be seen in virtually all papers of this volume. There were 86 submissions (completed papers within the scope of the c- ference). Each submission was reviewed by at least three, and on average 4. 0 Programme Committee members. The Committee decided to accept 45 papers, consisting of 34 regular and 11 short papers (restricted to 6 pages). A main n- elty was a "shepherding process," where 29% of the papers were accepted only conditionally, and requirements on necessary improvements were formulated by the ProgrammeCommittee and its installment monitored by the "shepherd" for thatpaper(using possibly severalroundsoffeedback).

This volume contains the proceedings of the 6th Asian Symposium on Progr- ming Languages and Systems (APLAS 2008), which took place in Bangalore, December 9 - December 11, 2008. The symposium was sponsored by the Asian Association for Foundation of Software (AAFS) and the Indian Institute of S- ence. It was held at the Indian Institute of Science, as part of the institute's centenary celebrations, and was co-located with FSTTCS (Foundations of So- ware Technology and Theoretical Computer Science) 2008, organized by the Indian Association for Research in Computer Science (IARCS). In response to the call for papers, 41 full submissions were received. Each submission was reviewed by at least four Program Committee members with the help of external reviewers. The ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 20 papers. I would like to sincerely thank all the members of the APLAS 2008 Program Committee for their excellent job, and all the external reviewers for their invaluable contribution. The submission and review process was managed using the EasyChair system. In addition to the 20 contributed papers, the symposium also featured three invitedtalksbyDinoDistefano(QueenMary, UniversityofLondon, UK), Radha Jagadeesan (DePaul University, USA), and Simon Peyton-Jones (Microsoft - search Cambridge, UK). Many people have helped to promote APLAS as a high-quality forum in Asia to serveprogramminglanguageresearchersworldwide.Following a seriesof well-attendedworkshopsthatwereheldinSingapore(2000), Daejeon(2001), and Shanghai (2002), the ?rst ?ve formal symposiums were held in Beijing (2003), Taipei (2004), Tsukuba (2005), Sydney (2006), and Singapore (2007).

The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri?cation and re?nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University.

This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009.

The 21 revised full papers presented together with 3 keynote papers were carefully reviewed and selected from 57 submissions. This year's special focus is set on energy awareness. The papers are organized in topical sections on compilation technologies, reconfigurable hardware and applications, massive parallel architectures, organic computing, memory architectures, enery awareness, Java processing, and chip-level multiprocessing.

If you're searching for a practical and comprehensive guide to installing, configuring, and troubleshooting Microsofts Windows Home Server, look no further. Inside "Windows Home Server User's Guide," you'll learn how to install, configure, and use Windows Home Server and understand how to connect to and manage different clients such as Windows XP, Windows Vista, Windows Media Center, and more. It's straightforward and easy-to-understand style will help you maximize all the benefits that Windows Home Server can bring. This guide includes the following: Step-by-step instructions for configurations Lots of troubleshooting tips Comprehensive coverage of different clients that can connect to, manage and be managed by Windows Home Server Many useful illustrations for a quick-to-learn approach

Packed with handy hints, tips, and extensive walkthroughs to get you up and running as quickly and painlessly as possible, author Andrew Edney is your expert guide to help you get the most out of Windows Home Server. What you'll learn Discover the benefits of Windows Home ServerCentrally back up all of your home machinesManage the configuration and operation of all computers in your householdConfigure centralized storage so all computers can store files in one locationBring many of the benefits of a Windows Serverbased domain to your house without the overhead and expense of a traditional server productUnderstand how to monitor and maintain the health of all of your machines Who this book is for

This book is for IT administrators, or anyone with some professional IT experience, who wants to learn about the Windows Home Server and how it can be used in their homes. Experience with Windows Server will be beneficial, but even with only some general computing experience, you will find this book a valuable companion to Windows Home Server.

Shell Programming in Unix, Linux and OS X is a thoroughly updated revision of Kochan and Wood's classic Unix Shell Programming tutorial. Following the methodology of the original text, the book focuses on the POSIX standard shell, and teaches you how to develop programs in this useful programming environment, taking full advantage of the underlying power of Unix and Unix-like operating systems. After a quick review of Unix utilities, the book's authors take you step-by-step through the process of building shell scripts, debugging them, and understanding how they work within the shell's environment. All major features of the shell are covered, and the large number of practical examples make it easy for you to build shell scripts for your particular applications. The book also describes the major features of the Korn and Bash shells. Learn how to... Take advantage of the many utilities provided in the Unix system Write powerful shell scripts Use the shell's built-in decision-making and looping constructs Use the shell's powerful quoting mechanisms Make the most of the shell's built-in history and command editing capabilities Use regular expressions with Unix commands Take advantage of the special features of the Korn and Bash shells Identify the major differences between versions of the shell language Customize the way your Unix system responds to you Set up your shell environment Make use of functions Debug scripts Contents at a Glance 1 A Quick Review of the Basics 2 What Is the Shell? 3 Tools of the Trade 4 And Away We Go 5 Can I Quote You on That? 6 Passing Arguments 7 Decisions, Decisions 8 'Round and 'Round She Goes 9 Reading and Printing Data 10 Your Environment 11 More on Parameters 12 Loose Ends 13 Rolo Revisited 14 Interactive and Nonstandard Shell Features A Shell Summary B For More Information

Considered a classic by an entire generation of Mac programmers, this popular guide has been updated for Mac OS X. Don't know anything about programming? No problem Acclaimed author Dave Mark starts out with the basics and takes you through a complete course in programming C using Apple's free Xcode tools. This book is perfect for beginners learning to program. It includes Mac OS X examples Provides best practices for programming newbies Written by the expert on Cprogramming for the Mac Presents all the basics with a pragmatic, Mac OS X-flavored approach Includes updated source code which is fully compatible with Xcode 4 What you'll learn Master C programming, the gateway to programming your Mac or iPhoneWrite applications for the Mac OS X interface, the cleanest user interface aroundUnderstand variables and how to design your own data structuresWork with the file systemConnect to data sources and the Internet Who this book is for

For anyone wanting to learn to program in Mac OS X, including developers new to the Mac, developers new to C, or students entirely new to programming. For anyone who wants to learn how to program their iPhone, this is also the core language primer.

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006.

The 18 revised papers presented were carefully reviewed and selected from 47 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies.

Effectively integrating theory and hands-on practice, Networking Systems Design and Development provides students and IT professionals with the knowledge and skills needed to design, implement, and manage fully functioning network systems using readily available Linux networking tools. Recognizing that most students are beginners in the field of networking, the text provides step-by-step instruction for setting up a virtual lab environment at home.

Grounded in real-world applications, this book provides the ideal blend of conceptual instruction and lab work to give students and IT professionals a quick start in developing network systems using the Linux operating system. Leaving nothing to chance, it provides readers with detailed guidance through the many hands-on exercises.

• Highlights fundamental networking concepts and theories
• Addresses the server and client sides of Linux-based networking
• Includes comprehensive lab exercises that use Ubuntu GUN/Linux
• Supplies professors with instructions and resources to create and manage online computer labs as well as supplemental instructional materials
• Provides an effective, low-cost alternative to traditional proprietary-based network systems

Creating and maintaining a fully functioning enterprise network system doesn?t have to be expensive. This self-contained text provides readers with the tools to create their own networks using open source materials?and the virtual lab environment to develop problem-solving skills that will serve them well in their careers.

This is the first of a two-volume set that constitutes the refereed proceedings of the Symposium on Human Interface 2007, held in Beijing, China in July 2007. It covers design and evaluation methods and techniques, visualizing information, retrieval, searching, browsing and navigation, development methods and techniques, as well as advanced interaction technologies and techniques.

This is the first of a two-volume set that constitutes the refereed proceedings of the Second International Conference on Usability and Internationalization, UIHCII 2007, held in Beijing, China in July 2007. The papers of this first volume cover HCI and culture and are organized in topical sections on cross-cultural design, internationalization and intercultural usability, as well as user studies.

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2007, held in Paphos, Cyprus in June 2007. The DAIS conference was held as a joint event in federation with the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007) and the 9th International Conference on Coordination Models and Languages (Coordination 2007).

The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers address current research in context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of which relate to the sustainability of distributed applications and integrated systems. The papers are organized in topical sections on context-awareness, distributed applications, adaptation, peer-to-peer, and mobility.

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 expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007) organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA in July 2007. It also contains a number of invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.

This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).The conference was part of the Third Federated c- ferences on Distributed Computing Techniques (DisCoTec), together with the 10th International Conference on Coordination Models and Languages (COOR- DINATION 2008) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008). We are grateful to Frank Eliassen and Einar Broch Johnsen of the University of Oslo for the excellent organization of this event in Olso, Norway, June 4-6, 2008. The goal of the FMOODS conferences is to bring together researchers and practitioners whose work encompasses three important and related ?elds: - Formal methods - Distributed systems - Object-based technology The 14 papers presented at FMOODS 2008 and included in this volume were selected by the Program Committee among 35 submissions. Each submission was reviewed by at least three Program Committee members. They all re?ect thescopeoftheconferenceandcoverthe following topics: semantics of obje- oriented programming; formal techniques for speci?cation, analysis, and re?- ment; model checking; theorem proving and deductive veri?cation;type systems and behavioral typing; formal methods for service-oriented computing; integ- tion of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10-13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.

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 6th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2007, held in Toulouse, France, in November 2007. The workshop features current research and gives some indication of the new directions in which task analysis theories, methods, techniques and tools are progressing. The papers are organized in topical sections.

As the standard for KDE desktop environment, Trolltech's Qt is a necessary basis for all programmers who want to develop cross-platform applications on Windows, Mac OS, Linux, and FreeBSD. A multitude of popular applications have been written in Qt, including Adobe Photoshop Elements, Google Earth, Perforce Visual Client, and Skype.

"Foundations of Qt Development" is based on Qt 4.2, and is aimed at C++ programmers who want to become proficient using this excellent toolkit to create graphical applications that can be ported to all major platforms. The book is focused on teaching you to write your own code in addition to using existing code. Common areas of confusion are identified, addressed, and answered.

This is the second edition of Hanaan Rosenthals critically-acclaimed AppleScript book. It goes the extra mile to teach you AppleScript, explaining advanced topics without leaving you behind.

AppleScript is the high-level scripting language that resides on the Mac platform. It can be used to add functionality to the Mac operating system, automate tasks, add functions, and generally make things easier. AppleScript has always been very useful, and with Mac OS X, you can take AppleScript further than before.

This book begins with the basics like handling variables, loops, and commands. It proceeds with more advanced concepts like debugging, AppleScripting with databases, manipulating PDFs with SMILE, and automating media workflow. In a nutshell, this book: Takes you on a journey from novice to professional AppleScripter. Is completely comprehensive; nothing is left to the imagination. Is up-to-date through AppleScript 1.10/Mac OS X Tiger.

If you are a Mac user who wants to know the real meaning of having full control over your machine, get into AppleScripting. And pick up this bookit really is the only guide you'll need to master the art of AppleScripting

This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography and Data Security, FC 2006, held in Anguilla, British West Indies in February/March 2006. The 19 revised full papers and six revised short papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections.

This book constitutes the refereed proceedings of the 20th Annual Working Conference on Data and Applications Security held in Sophia Antipolis, France, in July/August 2006.

The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The papers present theory, technique, applications, and practical experience of data and application security covering a number of diverse research topics such as access control, privacy, and identity management.

This book constitutes the refereed proceedings of the Second International Conference on Distributed Computing in Sensor Systems, DCOSS 2006, held in San Francisco, California, USA, June 2006. The book presents 33 revised full papers, focusing on distributed computing issues in large-scale networked sensor systems. Coverage includes topics such as distributed algorithms and applications, programming support and middleware, data aggregation and dissemination, security, information fusion, lifetime maximization, and localization.