You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Arti?cial Intelligence is a ?eld with a long history, which is still very much active and developing today. Developments of new and improved techniques, together with the ever-increasing levels of available computing resources, are fueling an increasing spread of AI applications. These applications, as well as providing the economic rationale for the research, also provide the impetus to further improve the performance of our techniques. This further improvement today is most likely to come from an understanding of the ways our systems work, and therefore of their limitations, rather than from ideas ‘borrowed’ from biology. From this understanding comes improvement; from improvement come...
This book constitutes the refereed proceedings of the two thematic workshops held jointly with Networking 2002: WEB Engineering and Peer-to-Peer C- puting. Networking 2002 was organized by the Italian National Research Council (CNR) and was sponsored by the IFIP working groups WG 6.2 (Network and Intern- work Architectures), WG 6.3 (Performance of Communication Systems), and WG 6.8 (Wireless Communications). The program of the conference covered ?ve days and included the main conference (three days), two tutorial days, and one day of thematic workshops. TheInternationalWorkshoponWebEngineeringwasdedicatedtothedisc- sionoftheprincipalissuesthatemergeinthedesignandimplementationoflar- scale, c...
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference, held in Lisbon, Portugal, in December 2011. The 22 revised full papers presented together with 2 industry papers and an invited paper were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on social networks, storage and performance management, green computing and resource management, notification and streaming, replication and caching, security and interoperability, and run-time (re)configuration and inspection.
This book constitutes the refereed proceedings of the 7th IEEE International Conference on High Speed Networking and Multimedia Communications, HSNMC 2004, held in Toulouse, France in June/July 2004. The 101 revised full papers presented were carefully reviewed and selected from 266 submissions. The papers are organized in topical sections on quality of service, QoS, DiffServ, and performance analysis; scheduling and resource allocation; MPLS; routing and multicast; mobile networks, mobile IP, 3G/UMTS; IEEE 802.11 networks and ad hoc networks; wireless and WLAN; optical networks and WDM; applications and software development; and security and privacy.
This book constitutes the refereed proceedings of the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2005, held in Athens, Greece in June 2005. The DAIS conference was held as a joint event in federation with the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005. The 16 revised full papers and 5 revised short papers presented were carefully reviewed and are organized in topical sections on context and location, interoperability architectures, methodological aspects, service discovery, configurable communication, and performance and optimization.
"This edited book discusses data analytics and complex communication networks and recommends new methodologies, system architectures, and other solutions to prevail over the current limitations faced by the field"--
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research.
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers presented were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on performance, composition, management, publish/subscribe technology, databases, mobile and ubiquitous computing, security, and data mining techniques
In parallel to the printed book, each new volume is published electronically in LNCS Online. --Résumé de l'éditeur.
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc ture, com...