Page 5
Page 5
Distributed Applications and Interoperable Systems ; 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and Interoperable Systems.
Distributed and Parallel Systems : In Focus : Desktop Grid Computing
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative software tools, environments and middleware; focus on various aspects of grid computing; and introduce novel methods for development, deployment, testing and evaluation.
Diagrammatic Representation and Inference ; 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008.
Developing Ambient Intelligence ; Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)
The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most leading-edge research and contain contributions that have been formally reviewed and chosen by a selected International Program Committee. The contributions cover a wide range of AmI topics.
Deployment and operation of complex software in heterogeneous execution environments : The SODALITE approach
This book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.
Data Management in Grid and Peer-to-Peer Systems ; 1st International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2008, held in Turin, Italy, in September 2008.
Cyber Security ; 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, revised selected papers
This book constitutes the refereed proceedings of the 17th International Annual Conference on Cyber Security, CNCERT 2021, held in Beijing, China, in AJuly 2021. The 14 papers presented were carefully reviewed and selected from 51 submissions. The papers are organized according to the following topical sections: data security; privacy protection; anomaly detection; traffic analysis; social network security; vulnerability detection; text classification.
Creating Flash Widgets with Flash CS4 and ActionScript 3.0
Creating Flash Widgets with Flash CS4 and ActionScript 3.0 is an introduction to developing widgets for the Internet using the features of Flash CS4 and ActionScript 3.0. Many social-networking sites, blogs, and personal home pages have adopted the use of widgets and Flash developers can create and distribute their own widgets for others to use. A step-by-step example demonstrates how to design and develop your own Flash widgets and integrate them with XML. In addition, publishing, promoting, and capitalizing on your Flash widgets is discussed.
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. He shows you how to build and program them from scratch, starting with the simplest robots and progressing in difficulty to a total of seven award–winning robots! You can download all the code, along with low–resolution videos that show how your robot works when it's finished. You don't need to be a programmer to develop these cool robots, because all the code is provided, but advanced developers will enjoy seeing the secrets of Benedettelli's code and techniques revealed.
Coordination, organizations, institutions, and norms in agent system III ; COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2007.
Cooperative Design, Visualization, and Engineering ; 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvià, Mallorca, Spain, in September 2008.
Constructing Ambient Intelligence ; AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, AmI 2007, held in Darmstadt, Germany, in November 2007.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Computer-Aided Innovation (CAI) ; IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer Supported Cooperative Work in Design IV ; 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, held in Melbourne, Australia, in April 2007.
Computer safety, reliability, and security ; 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.
Computer Performance Engineering ; 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
