You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Communications of ACM Internet Research IEEE Transactions on Parallel and Distributed Systems Parallel Computing IEEE Transactions on Computers ACM Transactions on Computer Systems
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
Covers a comprehensive range of P2P and Grid technologies. Provides a broad overview of the P2P field and how it relates to other technologies, such as Grid Computing, jini, Agent based computing, and web services.
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
This updated edition will help IT managers and assets protection professionals to assure the protection and availability of vital digital information and related information systems assets. It contains major updates and three new chapters. The book uniquely bridges the gap between information security, information systems security and information warfare. It re-examines why organizations need to take information assurance seriously.
In this era where data and voice services are available at a push of a button, service providers have virtually limitless options for reaching their customers with value-added services. The changes in services and underlying networks that this always-on culture creates make it essential for service providers to understand the evolving business logi
This book introduces the technologies and techniques of large-scale RFID-enabled mobile computing systems. The discussion is set in the context of specific system case studies where RFID has been the core enabling technology in retail, metropolitan transportation, logistics and e-passport applications. RFID technology fundamentals are covered including operating principles, core system components and performance trade-offs involved in the selection of specific RFID platforms.
At the core of this book is the interplay between technological and business innovation and social practice. Although the bene?ts of 50 years of rapid advances in digital telecommunications and computing technology have not bene?ted everyone equally, they have nevertheless transformed almost every aspectofthewaywelive.Oneareawheretechnologyhashada clearimpactis in the way we conduct business. The rate of change that brings about mod- nity has been considerably strengthened by technological advances applied to product manufacturing, distribution, ?nancing, and management, which arguably form the substrate for globalization and consumerism. It is thus no surprise that businesses closely monito...
Problem Solving for Wireless Sensor Networks delivers a comprehensive review of the state of the art in the most important technological issues related to Wireless Sensor Networks (WSN). It covers topics such as hardware platforms, radio technologies, software technologies (including middleware), and network and deployment aspects. This book discusses the main open issues inside each of these categories and identifies innovations considered most interesting for future research. Features: - Hardware Platforms in WSN, - Software Technologies in SWN, - Network Aspects and Deployment in WSN, - Standards and Safety Regulation for WSN, - European Projects Related to WSN, - WSN Application Scenarios at both utility and technical levels. Complete, cutting-edge and resulting from the work of many recognized researchers, Problem Solving for Wireless Sensor Networks is an invaluable reference for graduates and researchers, as well as practitioners.
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12–14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we ha...