Kategoria BISAC: Computers >> Operating Systems - General

This book constitutes the refereed proceedings of the 8th International Information Security Conference, ISC 2005, held in Singapore in September 2005.

The 33 revised full papers presented together with 5 student papers were carefully reviewed and selected from 271 submissions. The papers are organized in topical sections on network security, trust and privacy, key management and protocols, public key encryption and signature, signcryption, crypto algorithm and analysis, cryptography, applications, software security, authorization, and access control.

This book constitutes the refereed proceedings of the Third International Symposium on Parallel and Distributed Processing and Applications, ISPA 2005, held in Nanjing, China in November 2005.

The 90 revised full papers and 19 revised short papers presented together with 3 keynote speeches and 2 tutorials were carefully reviewed and selected from 645 submissions. The papers are organized in topical sections on cluster systems and applications, performance evaluation and measurements, distributed algorithms and systems, fault tolerance and reliability, high-performance computing and...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, held in Coventry, UK, in May 2005.

The 65 revised full papers presented were carefully reviewed and selected from numerous submissions during at least two rounds of reviewing and improvement. They contain expanded versions of the papers presented at the conference and are organized in topical sections on CSCW techniques and methods, Grids and Web services, agents and multi-agent systems, ontology and knowledge...

This book constitutes the proceedings of the First International Conference on Grid and Pervasive Computing, GPC 2006. The 64 revised full papers were carefully reviewed. The papers are organized in topical sections on grid scheduling, peer-to-peer computing, Web/grid services, high performance computing, ad hoc networks, wireless sensor networks, grid applications, data grid, pervasive applications, semantic Web, semantic grid, grid load balancing, wireless ad hoc/sensor networks, and mobile computing.

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding...

This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.

The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance.

This book constitutes the refereed proceedings of the Third International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2006, held in Berlin, Germany in July 2006.

The 11 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on code analysis, intrusion detection, threat protection and response, malware and forensics, and deployment scenarios.

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.