الصفحة 3
الصفحة 3
Hop Integrity in the Internet
Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. There are five protocols in this suite: - A secure address resolution protocol - A light-weight key update protocol - A protocol for computing and verifying message digests - An anti-replay protocol that uses soft sequence numbers - An anti-replay protocol that uses hard sequence numbers In addition, other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.
Home Networking ; 1st IFIP WG 6.2 Home Networking Conference (IHN’2007), Paris, France, December 10–12, 2007
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 in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
High performance computing for computational science - VECPAR 2008 ; 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Computational Science, VECPAR 2008, held in Toulouse, France, in June 2008.The 51 revised full papers presented together with the abstract of a surveying and look-ahead talk were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on parallel and distributed computing, cluster and grid computing, problem solving environment and data centric, numerical methods, linear algebra, computing in geosciences and biosciences, imaging and graphics.
High performance computing and communications ; Vol.3726 ; 1st International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on High-Performance Computing and Communications, HPCC 2005, held in Sorrento, Italy. This book includes 76 revised full papers and 44 revised short papers. These papers are organized in topical sections on network protocols, routing, and algorithms; and others.
High performance computing and communications ; Vol. 4208 : 2nd International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
HPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities in many academic and industrial branches, especially when the so- tion of large and complex problems must cope with very tight time constraints. The HPCC 2006 conference provides a forum for engineers and scientists in academia, industry, and governmentto address all resulting profound challenges and to present and discuss their new ideas, research results, applications, and experience on all aspects of HPCC.
High performance computing and communications ; 3rd International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings
The 75 revised full papers address all current issues of parallel and distributed systems and high performance computing and communication, including networking protocols, embedded systems, wireless, mobile and pervasive computing, Web services and internet computing, and programming interfaces for parallel systems.
High performance computing - HiPC 2006 ; 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
Coverage in this volume includes scheduling and load balancing, network and distributed algorithms, application software, network services, ad-hoc networks, systems software, sensor networks and performance evaluation, as well as routing and data management algorithms.
Evolutionary computation in combinatorial optimization ; 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, economical, and scientifc domains. Prominent examples of metaheuristics are evolutionary algorithms, tabu search, simulated annealing, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, ant colony optimization and estimation of distribution algorithms. Problems solved successfully include scheduling, timetabling, network design, transportation and distribution, vehicle routing, the travelling salesman pr- lem, packing and cutting, satisfability and general mixed integer programming.
Euro-Par 2006 Parallel Processing ; 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computing, Euro-Par 2006. parallel and distributed databases, data mining and knowledge discovery; grid and cluster computing: models, middleware and architectures; parallel computer architecure and instruction-level parallelism.
Euro-Par 2005 Parallel Processing ; 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computing, Euro-Par 2005, held in Lisbon, Portugal, in August/September 2005. The 120 revised papers presented together with 4 invited papers were carefully reviewed and selected from 388 submissions. The papers are organized in topical sections on support tools and environments, performance prediction and evaluation, scheduling and load balancing, compilers for high performance, parallel and distributed databases, data mining and knowledge discovery, grid and cluster computing: models, middleware and architectures, parallel computer architecture and instruction distributed systems and algorithms, parallel programming: models, methods, and languages, parallel numerical algorithms.
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World ; IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
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 in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Engineering self-organising systems ; 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
This book discusses a broad variety of topics in an effort to allow room for new ideas and discussion, and eventually a better understanding of the important directions and techniques of Engineering Self-Organizing.This book raises the important question of whether there are underlying statistical mechanics-like principles that apply to emergent multi-agent systems. Answering this question will in the long run provide an important part of the underlying theory of emergent distributed systems.
Emerging Directions in Embedded and Ubiquitous Computing ; EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 1-4, 2007, Proceedings
This volume contains discuss and exchange state-of-the-art research results and experience, case studies and on-going research activities in the areas of embedded and ubiquitous computing, networking and communications.
Embedded Software and Systems ; 3rd International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
This book introduces sections on embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia and HCI, pervasive/ubiquitous computing and sensor network, power-aware computing, real-time systems, security and dependability, and wireless communication.
Embedded Computer Systems : Architectures, Modeling, and Simulation ; Vol. 4017 ; 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2006, held in Samos, Greece on July 2006.The 47 revised full papers presented together with 2 keynote talks were thoroughly reviewed and selected from 130 submissions.
E-business and telecommunication networks ; 1st International conference, ICETE 2004, Setúbal, Portugal,
This book contains the best papers of the First International Conference on e-Business and Telecommunication Networks (ICETE 2004), held in Setúbal (Portugal). The conference was organized by INSTICC (Institute for Systems and Technologies of Information, Communication and Control) in collaboration with the School of Business of the Polytechnic Institute of Setúbal, who hosted the event. This conference represented a major initiative to increase the technical exchanges among professionals, who work in the e-Business and Telecommunication Networks fields, and who are implementing new services and technologies affecting the lives of ordinary consumers.
Distributed Event-Based Systems
Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific other components in a traditional request/reply mode, but separate communication from computation through asynchronous communication mechanisms via a dedicated notification service.
Distributed computing in sensor systems ; Vol. 3560 ; 1st IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005. The 26 revised full papers presented were carefully reviewed and selected from 85 submissions; also included are the abstracts of 3 invited talks, 2 short papers, 9 invited poster abstracts, and 10 contributed abstracts.The papers address all current aspects of distributed computing issues in large-scale networked sensor systems, including systematic design techniques and tools, algorithms, and applications.
Distributed computing in sensor systems ; 3rd IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
The book covering the areas of algorithms, applications, and systems, thus bridging the gap between theory and practice and between the broader field of distributed computing and the specific issues arising in sensor networks and related systems.
Distributed computing and networking ; 8th International conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings
VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic Issues in Wireless Sensor Networks, and Optical Networking. This was made possible by the efforts of the Tutorial Chairs, Sr- har Iyer and Pinaki Mitra. The Organizing Committee worked hard to ensure that the participants enjoyed a comfortable stay and the technical meetings proceeded as smoothly as possible.
