Kategoria BISAC: Computers >> Operating Systems - General

This book constitutes the refereed proceedings of the 4th International Workshop on Distributed Computing, IWDC 2002, held in Calcutta, India, in December 2002.

The 31 revised full papers and 3 student papers presented together with 3 keynote papers were carefully reviewed and selected from more than 90 submissions. The papers are organized in topical sections on Web caching, distributed computing, wireless networks, wireless mobile systems, VLSI and parallel systems, optical networks, and distributed systems.

Exploring one of the most dynamic areas of mathematics, Advanced Number Theory with Applications covers a wide range of algebraic, analytic, combinatorial, cryptographic, and geometric aspects of number theory. Written by a recognized leader in algebra and number theory, the book includes a page reference for every citing in the bibliography and more than 1,500 entries in the index so that students can easily cross-reference and find the appropriate data.

With numerous examples throughout, the text begins with coverage of algebraic number theory, binary...

The 10th Information Security Conference (ISC 2007) was held in Valpara ?so, Chile, October 9 12, 2007. ISC is an annual international conference covering research in theory and applications of information security, aiming to attract high quality papers in all of its technical aspects. ISC was ?rst initiated as a workshop (ISW) in Japan in 1997, ISW 1999 was held in Malaysia and ISW 2000 in Australia. The name was changed to the current one when the conf- ence was held in Spain in 2001 (ISC 2001). The latest conferences were held in Brazil (ISC 2002), the UK (ISC 2003), the USA (ISC 2004),...

th Thisvolumecontainsthepaperspresentedatthe13 workshoponJobSched- ing Strategies for Parallel Processing. The workshop was held in Seattle, WA, USA, on June 17, 2007, in conjunction with ICS 2007. All submitted papers went through a complete review process, with the full versionbeingreadandevaluatedbyanaverageof?vereviewers.Wewouldliketo thanktheProgramCommittee membersandadditionalrefereesfortheirwilli- ness to participate in this e?ort and their excellent, detailed reviews: Nazareno Andrade, Su-Hui Chiang, Walfredo Cirne, Alvaro Coelho, Lauro Costa, Dror Feitelson, Allan Gottlieb, Andrew...

"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools in today's IT context. It means complex network-centric applications to be tested in heterogeneous IT infrastructures and in multiple test environments (also geographically distributed). The added-value of this book is the in-depth explanation of all processes and relevant methodologies and tools to address this complexity. Main aspects of testing are explained using TD/QC - the world-leader test platform.

This up-to-date know-how is based on real-life IT...

Featuring a special focus on desktop grid computing, this title is designed for a professional audience composed of practitioners and researchers in industry. This book is also suitable for advanced-level students in computer science.

This text constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC 2008, held in Kunming, China, in May 2008. The 45 revised full papers presented together with two keynote lectures were carefully reviewed and selected from 184 submissions.

This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and Interoperable Systems. The conf- ence was held in Oslo, Norway during June 4 6, 2008 as part of the DisCoTec (Distributed Object Techniques) federated conference, in conjunction with the 10th International Conference on Coordination Models and Languages (COOR- DINATION) and the 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). The conference was sponsored by IFIP (International Federation for Information Processing) and...

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...

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King s 1969 thesis on A program verifier. What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development proceeding more slowly, alas, than the other two trends of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most...

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...

The conference is organized by the Department of Mining Engineering and Metallurgy of the National University of Athens, Greece and its purpose is to promote technology transfer and identify future courses of action in research and development via the Internet.

The topics covered include applications in a wide spectrum of mining related fields: Mineral exploration; Orebody modelling; Mine planning and operations; Mine equipment; Rock mechanics; Mine safety and training; Reclamation and environmental issues; Mineral processing.

The complete proceedings are published...

The purpose of aligning short fibres in a fibre-reinforced material is to improve the mechanical properties of the resulting composite. Aligning the fibres, generally in a preferred direction, allows them to contribute as much as possible to reinforcing the material.

Flow induced alignment in composite materials details, in a single volume, the science, processing, applications, characterisation and properties of composite materials reinforced with short fibres that have been orientated in a preferred direction by flows arising during processing. The topics discussed include fibre...

On behalf of the Program Committee, it is a pleasure for us to introduce the proceedingsofthe1stEuropeanAcrossGridsConference.Thiseventwasheldin SantiagodeCompostela, Spain, February13 14,2003.Theconference, organized by the University of Santiago (USC), the University of A Coruna (UDC) and theSupercomputingCenterofGalicia(CESGA), waspromotedbytheEuropean CrossGrid project and supported by the GridStart Cluster. The idea of organizing this event was born within the CrossGrid com- nity. CrossGrid is developing its middleware, tools and applications in colla- ration with DataGrid and GridLab...

The 4th International Conference on Security in Communication Networks 2004 (SCN2004)washeldatthe"DioceseHall"oftheArchdioceseofAmal?-Cavade' Tirreni and the "Armorial Bearings Hall" of the Archbishop Palace in Amal?, Italy, on September 8-10, 2004. Previous conferences also took place in Amal? in 1996, 1999 and 2002. The conference aimed at bringing together researchers in the ?elds of cr- tography and security in communication networks to foster cooperation and the exchange of ideas. The main topics included all technical aspects of data security, including: anonymity, authentication,...

Constitutes the refereed proceedings of the First International Conference on Pervasive Computing, Pervasive 2002, held in Zurich, Switzerland in August 2002. The 20 revised full papers presented together with an invited paper were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on system design; applications; identification and authentication; models, platforms and architectures; location and mobility; and device independence and content distribution.

This book constitutes the refereed proceedings of the IFIP Industry Oriented Conferences held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008.

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection...

This slightly revised 4th edition includes two example projects from the earlier editions not found in the third edition but is otherwise unchanged. As before it includes a massive amount of information about the 8051-family of microcontrollers and techniques for programming them in the C language. There is a strong emphasis on interrupt-driven programming and operating systems as well as many algorithms related to typical microcontroller interfacing. There is extensive ground-up coverage of serial interfacing and small-area networks.

Since its establishment in 1998, Microsoft Research Asia's trademark and long term commitment has been to foster innovative research and advanced education in the Asia-Pacific region. Through open collaboration and partnership with universities, government and other academic partners, MSRA has been consistently advancing the state-of-the-art in computer science. This book was compiled to record these outstanding collaborations, as Microsoft Research Asia celebrates its 10th Anniversary.

The selected papers are all authored or co-authored by faculty members or students through...

This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008. The 33 revised full papers, selected from 101 submissions, are presented together with 11 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, including the theory, design, implementation and applications of distributed algorithms, systems and networks - ranging from foundational and theoretical topics to...