- Table View
- List View
Semantics of Probabilistic Processes
by Yuxin DengThis book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
Sequences and Their Applications - SETA 2014
by Kai-Uwe Schmidt Arne WinterhofThis book constitutes the refereed proceedings of the 8th International Conference on Sequences and Their Applications, SETA 2014, held in Melbourne, VIC, Australia, in November 2014. The 24 full papers presented together with 2 invited papers were carefully reviewed and selected from 36 submissions. The papers have been organized in topical sections on Boolean functions, perfect sequences, correlation of arrays, relative difference sets, aperiodic correlation, pseudorandom sequences and stream ciphers, crosscorrelation of sequences, prime numbers in sequences, OFDM and CDMA, and frequency-hopping sequences.
Serialization and Persistent Objects
by Jiri Soukup Petr MacháčekRecently, the pressure for fast processing and efficient storage of large data with complex relations increased beyond the capability of traditional databases. Typical examples include iPhone applications, computer aided design - both electrical and mechanical, biochemistry applications, and incremental compilers. Serialization, which is sometimes used in such situations is notoriously tedious and error prone. In this book, Jiri Soukup and Petr MacháÄ ek show in detail how to write programs which store their internal data automatically and transparently to disk. Together with special data structure libraries which treat relations among objects as first-class entities, and with a UML class-diagram generator, the core application code is much simplified. The benchmark chapter shows a typical example where persistent data is faster by the order of magnitude than with a traditional database, in both traversing and accessing the data. The authors explore and exploit advanced features of object-oriented languages in a depth hardly seen in print before. Yet, you as a reader need only a basic knowledge of C++, Java, C#, or Objective C. These languages are quite similar with respect to persistency, and the authors explain their differences where necessary. The book targets professional programmers working on any industry applications, it teaches you how to design your own persistent data or how to use the existing packages efficiently. Researchers in areas like language design, compiler construction, performance evaluation, and no-SQL applications will find a wealth of novel ideas and valuable implementation tips. Under http://www. codefarms. com/book, you will find a blog and other information, including a downloadable zip file with the sources of all the listings that are longer than just a few lines - ready to compile and run.
Service-Oriented Computing
by Quan Z. Sheng Eleni Stroulia Samir Tata Sami BhiriThis book constitutes the refereed conference proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. The 25 full and 26 short papers presented were carefully reviewed and selected from 180 submissions. The papers are organized in topical sections on business process management; service composition and discovery; service design, description and evolution; cloud and business service management; ensuring composition properties; quality of service; semantic web services; service management; cloud service management; business service management; trust; service design and description.
Service Quality of Cloud-Based Applications
by Eric Bauer Randee AdamsThis book explains why applications running on cloud might not deliver the same service reliability, availability, latency and overall quality to end users as they do when the applications are running on traditional (non-virtualized, non-cloud) configurations, and explains what can be done to mitigate that risk.
Service Research and Innovation
by Joseph G. Davis Haluk Demirkan Hamid R. Motahari-NezhadThis book constitutes the thoroughly refereed proceedings of the Third Australian Symposium on Service Research and Innovation, ASSRI 2013, held in Sydney, NSW, Australia, in November 2013. Overall, eight research papers were carefully reviewed and selected from 18 submissions. They are multidisciplinary in scope and cover strategic, organizational, and technological dimensions, ranging from purely conceptual to concrete implementations and testing of service-related technological platforms. Taken together, these papers provide a snapshot of the critical concerns and developments in service-related research and cover some of the key areas of research focus.
Service Systems
by Jorge Cardoso Ricardo Lopes Geert PoelsThis SpringerBrief explores the internal workings of service systems. The authors propose a lightweight semantic model for an effective representation to capture the essence of service systems. Key topics include modeling frameworks, service descriptions and linked data, creating service instances, tool support, and applications in enterprises. Previous books on service system modeling and various streams of scientific developments used an external perspective to describe how systems can be integrated. This brief introduces the concept of white-box service system modeling as an approach to model the internal aspects and elements of service systems. This approach provides descriptions that can be used for service management, optimization, and analytics. Service Systems: Concepts, Modeling, and Programming is designed for researchers, teachers, and advanced-level students who want to learn about the new emerging field of service science and IS/IT practitioners who are looking for better ways to describe, model, and communicate services.
Serviceology for Services: Selected papers of the 1st International Conference of Serviceology (Communications In Computer And Information Science Ser. #1189)
by Masaaki Mochimaru Kanji Ueda Takeshi TakenakaServices are key activities in the globalization of the economy and also underlie the quality of life of local residents. The advanced work presented in this book was selected from the proceedings of the First International Conference on Serviceology (ICServ2013), held October 16–18, 2013 in Tokyo. This book provides a useful overall guide to the state of the art in theory and practice of services for researchers in various fields, including engineering, marketing, economics, and others. This work also facilitates the scientific systematization of services and promotes technological developments for solutions of industrial issues.
Seven Concurrency Models in Seven Weeks: When Threads Unravel
by Paul ButcherYour software needs to leverage multiple cores, handle thousands of users and terabytes of data, and continue working in the face of both hardware and software failure. Concurrency and parallelism are the keys, and Seven Concurrency Models in Seven Weeks equips you for this new world. See how emerging technologies such as actors and functional programming address issues with traditional threads and locks development. Learn how to exploit the parallelism in your computer's GPU and leverage clusters of machines with MapReduce and Stream Processing. And do it all with the confidence that comes from using tools that help you write crystal clear, high-quality code.This book will show you how to exploit different parallel architectures to improve your code's performance, scalability, and resilience. You'll learn about seven concurrency models: threads and locks, functional programming, separating identity and state, actors, sequential processes, data parallelism, and the lambda architecture.Learn about the perils of traditional threads and locks programming and how to overcome them through careful design and by working with the standard library. See how actors enable software running on geographically distributed computers to collaborate, handle failure, and create systems that stay up 24/7/365. Understand why shared mutable state is the enemy of robust concurrent code, and see how functional programming together with technologies such as Software Transactional Memory (STM) and automatic parallelism help you tame it.You'll learn about the untapped potential within every GPU and how GPGPU software can unleash it. You'll see how to use MapReduce to harness massive clusters to solve previously intractable problems, and how, in concert with Stream Processing, big data can be tamed. With an understanding of the strengths and weaknesses of each of the different models and hardware architectures, you'll be empowered to tackle any problem with confidence.What You Need:The example code can be compiled and executed on *nix, OS X, or Windows. Instructions on how to download the supporting build systems are given in each chapter.
Seven More Languages in Seven Weeks: Languages That Are Shaping the Future
by Bruce Tate Ian Dees Frederic Daoud Jack MoffittGreat programmers aren't born--they're made. The industry is moving from object-oriented languages to functional languages, and you need to commit to radical improvement. New programming languages arm you with the tools and idioms you need to refine your craft. While other language primers take you through basic installation and "Hello, World," we aim higher. Each language in Seven More Languages in Seven Weeks will take you on a step-by-step journey through the most important paradigms of our time. You'll learn seven exciting languages: Lua, Factor, Elixir, Elm, Julia, MiniKanren, and Idris.Learn from the award-winning programming series that inspired the Elixir language. Hear how other programmers across broadly different communities solve problems important enough to compel language development. Expand your perspective, and learn to solve multicore and distribution problems.In each language, you'll solve a non-trivial problem, using the techniques that make that language special. Write a fully functional game in Elm, without a single callback, that compiles to JavaScript so you can deploy it in any browser. Write a logic program in Clojure using a programming model, MiniKanren, that is as powerful as Prolog but much better at interacting with the outside world. Build a distributed program in Elixir with Lisp-style macros, rich Ruby-like syntax, and the richness of the Erlang virtual machine. Build your own object layer in Lua, a statistical program in Julia, a proof in code with Idris, and a quiz game in Factor.When you're done, you'll have written programs in five different programming paradigms that were written on three different continents. You'll have explored four languages on the leading edge, invented in the past five years, and three more radically different languages, each with something significant to teach you.
Sewing to Sell: How To Sell Locally & Online; The Beginner's Guide to Starting a Craft Business
by Virginia LindsayThe creator of Gingercake Patterns shows you how to share your passion for sewing with the world by starting a successful home business. Maybe you started sewing just for fun. But now you&’ve developed the skills and vision to turn your creative outlet into something more. Making the leap from hobbyist to professional can be intimidating—but Virginia Lindsay is here to help you get off the sidelines and sew your way to a job you truly enjoy. Drawing on her own experience, Lindsay guides you through every aspect of starting your own craft business, from finding your personal sewing style to creating a product line, identifying customers, equipping your studio, pricing and selling your work, marketing yourself, designing your own patterns, and handling the business and legal side of sewing. And that's not all! Virginia also shares 16 projects (all customer-tested) that you can personalize to start sewing and selling right now.
SharePoint 2013 Branding and UI Design eBook and SharePoint-videos.com Bundle
by Asif Rehmani John Ross Paul Stubbs Randy DrisgillPlan, design, and launch a brand in SharePoint If you are planning, designing, and launching your brand using SharePoint, this book and author trio will walk you through everything you need to know in an understandable and approachable way. From specific technologies such as master pages, page layouts, and CSS to offering best-practices and real-world experience for creating successful branding projects through SharePoint 2013, you will learn how to approach your branding project in effective new ways. This visual book provides step-by-step instructions in a simple and striking format that focuses on each of the tasks you will face in your own branding project. Explains the various approaches to SharePoint branding and methodologies for creating an engaging UI. Guides you through planning for branding and using the Design Manager to start a design. Addresses implementing modern web techniques such as HT ML5, jQuery, and mobile responsive design into SharePoint. Explores creating SharePoint branding for public facing websites as well as internal intranets, including a deep dive into how custom SharePoint branding is created from scratch. Provides coverage on designing apps for SharePoint.
SharePoint 2013 WCM Advanced Cookbook
by John ChapmanYou will be led carefully step-by-step through a detailed set of recipes. This book focuses on web content management using Microsoft SharePoint 2013 server. The practical examples are built logically throughout the chapters to create a common theme. This book is ideal for developers who want to broaden their understanding of the web content management features available with SharePoint 2013. It is assumed that you already have some experience using SharePoint and developing web content. Experience with Microsoft PowerShell and coding C# with Visual Studio will also be helpful, but is not essential.
Shopify Application Development
by Michael LarkinThis is an easy-to follow manual that will guide you through the entire process of application development with Shopify, beginning with the installation and configuration of your local development environment for your app to the deployment of the app to Heroku. If you are a web developer or a designer who wants to extend Shopify stores by building apps, then this book is for you. A basic understanding of programming concepts and some familiarity with Shopify is all that is required to get started with Shopify app development.
Sicherheit und Vertrauen im Internet: Eine technische Perspektive (essentials)
by Christoph Meinel Harald SackDas globale Internet ist ein offenes Netz, das heißt nicht begrenzt und für jedermann zugänglich. Allerdings hat diese Offenheit ihren Preis: Es gibt keine zentrale Kontrolle, die z. B. Unbefugten Einblick in die Kommunikation und damit in die Privatsphäre anderer Internetnutzer verwehren würde. Um dennoch einen ausreichenden Schutz der Vertraulichkeit und Privatsphäre zu gewährleisten, müssen in eigener Verantwortung Techniken und Tools aus der Kryptografie eingesetzt werden, die Nachrichten verschlüsseln oder deren Unversehrtheit sicherstellen helfen. Die Autoren zeigen unterschiedliche Wege auf, wie der Schutz der Privatsphäre im Internet wiederhergestellt werden kann.
Signal and Image Processing for Biometrics
by Jacob Scharcanski Hugo Proença Eliza DuThis volume offers a guide to the state of the art in the fast evolving field of biometric recognition to newcomers and experienced practitioners. It is focused on the emerging strategies to perform biometric recognition under uncontrolled data acquisition conditions. The mainstream research work in this field is presented in an organized manner, so the reader can easily follow the trends that best suits her/his interests in this growing field. The book chapters cover the recent advances in less controlled / covert data acquisition frameworks, segmentation of poor quality biometric data, biometric data quality assessment, normalization of poor quality biometric data. contactless biometric recognition strategies, biometric recognition robustness, data resolution, illumination, distance, pose, motion, occlusions, multispectral biometric recognition, multimodal biometrics, fusion at different levels, high confidence automatic surveillance.
SignalR Real-time Application Cookbook
by Roberto VespaThis book contains illustrated code examples to help you create real-time, asynchronous, and bi-directional client-server applications. Each recipe will concentrate on one specific aspect of application development with SignalR showing you how that aspect can be used proficiently. Different levels of developers will find this book useful. Beginners will be able to learn all the fundamental concepts of SignalR, quickly becoming productive in a difficult arena. Experienced programmers will find in this book a handy and useful collection of ready-made solutions to common use cases, which they will be able to enhance as needed. Developers can also use the book as a quick reference to the most important SignalR features. No previous practical experience either with SignalR or with real-time communication in general is required.
Signals and Systems: A MATLAB Integrated Approach
by Oktay AlkinDrawing on the author's 25+ years of teaching experience, Signals and Systems: A MATLAB Integrated Approach presents a novel and comprehensive approach to understanding signals and systems theory. Many texts use MATLAB as a computational tool, but Alkin's text employs MATLAB both computationally and pedagogically to provide interactive, visual rein
The Silent Revolution: How Digitalization Transforms Knowledge, Work, Journalism and Politics without Making Too Much Noise
by Mercedes BunzCritically engaging, illustrative and with numerous examples, The Silent Revolution delivers a philosophically informed introduction to current debates on digital technology and calls for a more active role of humans towards technology.
Simplicial Global Optimization
by Remigijus Paulavičius Julius ŽilinskasSimplicial Global Optimization is centered on deterministic covering methods partitioning feasible region by simplices. This book looks into the advantages of simplicial partitioning in global optimization through applications where the search space may be significantly reduced while taking into account symmetries of the objective function by setting linear inequality constraints that are managed by initial partitioning. The authors provide an extensive experimental investigation and illustrates the impact of various bounds, types of subdivision, strategies of candidate selection on the performance of algorithms. A comparison of various Lipschitz bounds over simplices and an extension of Lipschitz global optimization with-out the Lipschitz constant to the case of simplicial partitioning is also depicted in this text. Applications benefiting from simplicial partitioning are examined in detail such as nonlinear least squares regression and pile placement optimization in grillage-type foundations. Researchers and engineers will benefit from simplicial partitioning algorithms such as Lipschitz branch and bound, Lipschitz optimization without the Lipschitz constant, heuristic partitioning presented. This book will leave readers inspired to develop simplicial versions of other algorithms for global optimization and even use other non-rectangular partitions for special applications.
Simulating Knowledge Dynamics in Innovation Networks
by Nigel Gilbert Petra Ahrweiler Andreas PykaThe competitiveness of firms, regions and countries greatly depends on the generation, dissemination and application of new knowledge. Modern innovation research is challenged by the need to incorporate knowledge generation and dissemination processes into the analysis so as to disentangle the complexity of these dynamic processes. With innovation, however, strong uncertainty, nonlinearities and actor heterogeneity become central factors that are at odds with traditional modeling techniques anchored in equilibrium and homogeneity. This text introduces SKIN (Simulation Knowledge Dynamics in Innovation Networks), an agent-based simulation model that primarily focuses on joint knowledge creation and exchange of knowledge in innovation cooperations and networks. In this context, knowledge is explicitly modeled and not approximated by, for instance, the level of accumulated R&D investment. The SKIN approach supports applications in different domains ranging from sector-based research activities in knowledge-intensive industries to the activities of international research consortia engaged in basic and applied research. Following a general description of the SKIN model, several applications and modifications are presented. Each chapter introduces in detail the structure of the model, the relevant methodological considerations and the analysis of simulation results, while options for empirically validating the models' structure and outcomes are also discussed. The book considers the scope of further applications and outlines prospects for the development of joint modeling strategies.
Simulation and Modeling Methodologies, Technologies and Applications
by Mohammad S. Obaidat Tuncer Ören Yuri MerkuryevThis book includes extended and revised versions of a set of selected papers from the 2012 International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012) which was sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and held in Rome, Italy. SIMULTECH 2012 was technically co-sponsored by the Society for Modeling & Simulation International (SCS), GDR I3, Lionphant Simulation, Simulation Team and IFIP and held in cooperation with AIS Special Interest Group of Modeling and Simulation (AIS SIGMAS) and the Movimento Italiano Modellazione e Simulazione (MIMOS).
Simulation of Urban Mobility
by Michael Behrisch Daniel Krajzewicz Melanie WeberThis book constitutes the thoroughly refereed proceedings of the First International Conference on Simulation of Urban Mobility, SUMO 2013, held in Berlin, Germany, in May 2013. The 12 revised full papers presented tin this book were carefully selected and reviewed from 22 submissions. The papers are organized in two topical sections: models and technical innovations and applications and surveys.
Single Page Web Applications: JavaScript end-to-end
by Michael Mikowski Josh PowellSummaryIn Single Page Web Applications you'll learn to build modern browser-based apps that take advantage of stronger client platforms and more predictable bandwidth. You'll learn the SPA design approach, and then start exploring new techniques like structured JavaScript and responsive design. And you'll learn how to capitalize on trends like server-side JavaScript and NoSQL data stores, as well as new frameworks that make JavaScript more manageable and testable as a first-class language.About this BookIf your website is a jumpy collection of linked pages, you are behind. Single page web applications are your next step: pushing UI rendering and business logic to the browser and communicating with the server only to synchronize data, they provide a smooth user experience, much like a native application. But, SPAs can be hard to develop, manage, and test.Single Page Web Applications shows how your team can easily design, test, maintain, and extend sophisticated SPAs using JavaScript end-to-end, without getting locked into a framework. Along the way, you'll develop advanced HTML5, CSS3, and JavaScript skills, and use JavaScript as the language of the web server and the database.This book assumes basic knowledge of web development. No experience with SPAs is required.Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.What's InsideDesign, build, and test a full-stack SPABest-in-class tools like jQuery, TaffyDB, Node.js, and MongoDBReal-time web with web sockets and Socket.IOTouch controls for tablets and smartphonesCommon SPA design mistakesAbout the AuthorsThe authors are architects and engineering managers. Michael Mikowski has worked on many commercial SPAs and a platform that processes over 100 billion requests per year. Josh Powell has built some of the most heavily trafficked sites on the web.Table of ContentsPART 1: INTRODUCING SPASOur first single page applicationReintroducing JavaScriptPART 2: SPA CLIENTDevelop the ShellAdd feature modulesBuild the ModelFinish the Model and Data modulesPART 3: THE SPA SERVERThe web serverThe server databaseReadying our SPA for production
Situational Method Engineering
by Brian Henderson-Sellers Jolita Ralyté Pär J. Ågerfalk Matti RossiWhile previously available methodologies for software - like those published in the early days of object technology - claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically have individual characteristics and situations. Thus, finding the most effective methodology for a particular project needs specific tailoring to that situation. Such a tailored software development methodology needs to take into account all the bits and pieces needed for an organization to develop software, including the software process, the input and output work products, the people involved, the languages used to describe requirements, design, code, and eventually also measures of success or failure. The authors have structured the book into three parts. Part I deals with all the basic concepts, terminology and overall ideas underpinning situational method engineering. As a summary of this part, they present a formal meta-model that enables readers to create their own quality methods and supporting tools. In Part II, they explain how to implement SME in practice, i. e. , how to find method components and put them together and how to evaluate the resulting method. For illustration, they also include several industry case studies of customized or constructed processes, highlighting the impact that high-quality engineered methods can have on the success of an industrial software development. Finally, Part III summarizes some of the more recent and forward-looking ideas. This book presents the first summary of the state of the art for SME. For academics, it provides a comprehensive conceptual framework and discusses new research areas. For lecturers, thanks to its step-by-step explanations from basics to the customization and quality assessment of constructed methods, it serves as a solid basis for comprehensive courses on the topic. For industry methodologists, it offers a reference guide on features and technologies to consider when developing in-house software development methods or customising and adopting off-the-shelf ones.