You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
This volume constitutes the refereed proceedings of the 6th European Performance Engineering Workshop, EPEW 2009, held in London, UK during July 9-10, 2009. The 13 full papers and 4 short papers presented in this volume, together with the abstract of one invited paper, were carefully reviewed and selected from 33 submissions. The papers deal with modeling of auctions and markets, hardware modeling of RAID systems, performance aspects of cellular and fixed-line networks, mean value analysis, stochastic ordering to queuing networks, extension of passage-time analysis, stochastic process algebra (PEPA), tagged customers in generalised stochastic Petri nets, and representation and analysis of generally-distributed stochastic systems.
This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2008, held in Nicosia, Cyprus, in June 2008 in conjunction with ECMS 2008, the 22nd European Conference on Modeling and Simulation. The 22 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on traffic modeling, queueing systems, analytical methods and applications, distributions in stochastic modeling, queueing networks, simulation and model checking, as well as wireless networks.
This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
This book constitutes the refereed post-proceedings of the 9th European Performance Engineering Workshop, EPEW 2012, held in Munich, Germany, and the 28th UK Performance Engineering Workshop, UKPEW 2012, held in Edinburgh, UK, in July 2012. The 15 regular papers and one poster presentation paper presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics from classical performance modeling areas such as wireless network protocols and parallel execution of scientific codes to hot topics such as energy-aware computing to unexpected ventures into ranking professional tennis players. In addition to new case studies, the papers also present new techniques for dealing with the modeling challenges brought about by the increasing complexity and scale of systems today.
Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School “MDE for Embedded Systems” held at Brest, France, in September 2004.
This book constitutes the refereed proceedings of the 4th International IFIP-TC6 Networking Conference, NETWORKING 2005, held in Waterloo, Canada in May 2005. The 105 revised full papers and 36 posters were carefully reviewed and selected from 430 submissions. The papers are organized in topical sections on peer-to-peer networks, Internet protocols, wireless security, network security, wireless performance, network service support, network modeling and simulation, wireless LAN, optical networks, Internet performance and Web applications, ad-hoc networks, adaptive networks, radio resource management, Internet routing, queuing models, monitoring, network management, sensor networks, overlay multicast, QoS, wirless scheduling, multicast traffic management and engineering, mobility management, bandwith management, DCMA, and wireless resource management.
Fodor's correspondents highlight the best of Germany, including Berlin’s hippest neighborhoods, Munich’s famous beer gardens, and great scenic drives and wineries. Our local experts vet every recommendation to ensure you make the most of your time, whether it’s your first trip or your fifth. MUST-SEE ATTRACTIONS from Bavaria to the Rhineland PERFECT HOTELS for every budget BEST RESTAURANTS to satisfy a range of tastes GORGEOUS FEATURES on Oktoberfest and castles VALUABLE TIPS on when to go and ways to save INSIDER PERSPECTIVE from local experts COLOR PHOTOS AND MAPS to inspire and guide your trip
These are the proceedings of the fifth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized reasoning to all aspects of computer-aided system design, including specification, verification, synthesis, and testing. FMCAD's heritage dates back 20 years to some of the earliest conferences on the subject of formal reasoning and computer-aided design. Since 1996,FMCAD has assumed its present form, held biennially in North America, alternating with its sister conference CHARME in Europe. We are ...
This book contains the refereed proceedings of the 3rd International IFIP-TC6 Networking Conference, Networking 2004. Conferences in the Networking series span the interests of several distinct, but related, TC6 working groups, including Working Groups 6.2, 6.3, and 6.8. Re?ecting this, the conference was structured with three Special Tracks: (i) Networking Technologies, Services, and Protocols; (ii) Performance of Computer and Communication Networks; and (iii) Mobile and Wireless Communications. However, beyond providing a forum for the presentation of high-quality - search in various complementary aspects of networking, the conference was also targetedtocontributingtoauni?edviewofthe?eldan...