Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Internet Process Coordination
Papers collected here, from a December 2001 workshop held at the University of Central Florida, examine topics related to process coordination and ubiquitous computing. Papers on coordination models discuss areas such as space-based coordination and open distributed systems, global virtual data stru
Personal Wireless Communications
This book constitutes the refereed proceedings of the IFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003, held in Venice, Italy in September 2003. The 49 revised papers presented together with 6 special track papers, 1 invited paper, 11 project descriptions, 7 work in progress reports, and 8 novel ideas reports were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on mobile computing, wireless access, sensor networks, transport protocols, performance models, WCDMA, ad-hoc networks, wireless and mobile systems, cellular networks, IPv6, Bluetooth, and security and cooperations in ad-hoc networks.
Autonomic Communication
This book constitutes the thoroughly refereed post-proceedings of the First International IFIP Workshop on Autonomic Communication, WAC 2004, held in Berlin, Germany in October 2004. The 18 revised full papers presented together with 2 invited papers and 3 panel summaries were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on network management; models and protocols; network composition; negotiation and deployment; immunity and resilence; and meaning, context, and situated behaviour.
Wireless Sensor Networks
This book constitutes the refereed proceedings of the 4th European Workshop on Wireless Sensor Networks, EWSN 2007, held in Delft, The Netherlands in January 2007. The 22 revised full papers presented were carefully reviewed and selected from 164 submissions. The papers are organized in topical sections on networking, tracking, algorithms, applications and support, medium access control, os and tools, as well as localization.
Wireless Sensor Networks
This book constitutes the refereed proceedings of the 9th European Conference on Wireless Sensor Networks, EWSN 2012, held in Trento, Italy, in Februar 2012. The 16 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on communication and security, system issues, reliability, localization and smart cameras, and hardware and sensing.
Wireless Sensor Networks
This book constitutes the refereed proceedings of the Third European Workshop on Wireless Sensor Networks February 2006. The 21 revised full papers presented together with the abstracts of one invited talk and two tutorials were carefully reviewed and selected from 133 submissions. The papers are organized in topical sections on query systems, sensor network services, routing, localization, platforms and development, medium access control, and measurements.
Formal Methods for Software Architectures
In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE
This two-volume set LNCS 4275/4276 constitutes the refereed proceedings of the four confederated conferences CoopIS 2006, DOA 2006, GADA 2006, and ODBASE 2006 held as OTM 2006 in Montpellier, France in October/November 2006. The 106 revised full and 9 short papers presented together with 4 keynote speeches were carefully reviewed and selected from a total of 361 submissions. Corresponding with the four OTM 2006 main conferences CoopIS, ODBASE, GADA, and DOA, the papers are organized in topical sections on distributed information systems, workflow modelling, workflow management and discovery, dynamic and adaptable workflows, services metrics and pricing, formal approaches to services, trust a...
Coordination Models and Languages
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008. The 21 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.
Wireless Sensor Networks
This book constitutes the refereed proceedings of the Third European Workshop on Wireless Sensor Networks February 2006. The 21 revised full papers presented together with the abstracts of one invited talk and two tutorials were carefully reviewed and selected from 133 submissions. The papers are organized in topical sections on query systems, sensor network services, routing, localization, platforms and development, medium access control, and measurements.
