ilość książek w kategorii: 2227
Mobile Entity Localization and Tracking in GPS-less Environnments: Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009, Proceedings
ISBN: 9783642043789 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction with the 11th International Conference on Ubiquitous Computing (Ubicomp 2009). MELT provides a forum for the presentation of state-of-the-art technologies in mobile localization and tracking and novel applications of location-based s- vices. MELT 2009 continued the success of the ?rst workshop in the series (MELT 2008), which was held is San Francisco, California on September 19,...
This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 20...
|
|
cena:
194,52 zł |
Model Driven Engineering Languages and Systems: 12th International Conference, Models 2009, Denver, Co, Usa, October 4-9, 2009, Proceedings
ISBN: 9783642044243 / Angielski / Miękka / 780 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirinitiativewouldblossomintotoday'shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld,...
The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirin...
|
|
cena:
389,09 zł |
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
ISBN: 9783642046933 / Angielski / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri?cation during the exe- tion of programs. This approach complements the o?ine use of formal methods, which often use large resources. Runtime veri?cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26-28 in Grenoble, adjacent to...
The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV works...
|
|
cena:
194,52 zł |
Hpc@green It: Green High Performance Computing Methods
ISBN: 9783642017889 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. However, the focus of these discussions is often on single, isolated, and speci?c architectural and technological improvements for power reduction and conservation, while ignoring the fact that power ef?ciency as a ratio of performance to power consumption is equally in?uenced by performance improvements and architectural power red- tion. Furthermore, ef?ciency can be in?uenced on all levels of today's system hi- archies from single cores all the...
Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. How...
|
|
cena:
194,52 zł |
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
ISBN: 9783642029486 / Angielski / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe advancementofsoftwarequality. Toprovethe correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the exp- tation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it is...
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at E...
|
|
cena:
194,52 zł |
Computer Performance Engineering: 6th European Performance Engineering Workshop, Epew 2009 London, Uk, July 9-10, 2009 Proceedings
ISBN: 9783642029233 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop, held at ImperialCollegeLondon during July 9 10,2009. Thiswasthe?rstintheEPEWseriestobeheldintheUK, followingonfromthe highly successful workshops that were held in Toledo (2004), Versailles (2005), Budapest (2006), Berlin (2007) and Palma de Mallorca (2008). As with previousEPEW workshops, the event was supported by submissions from all over the world, including Asia, the Middle East, North America, as well as Europe. There were 33 submissions in total of which 13 were selected for full papers and four as...
ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop, held at ImperialCollegeLondon during July 9 10,2009. Thiswasthe...
|
|
cena:
194,52 zł |
Advances in Information Security and Its Application: Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009, Proceedings
ISBN: 9783642026324 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused on the various aspects of advances in information security and assurance. The concept of security and assurance is emerging rapidly as an exciting new paradigm to provide reliable and safe life services. Our conference provides a chance for academic and industry professionals to discuss recent progress in the area of communication and networking including modeling, simulation and novel applications associated with the utilization and acceptance...
Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused...
|
|
cena:
194,52 zł |
Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proc
ISBN: 9783540665885 / Angielski / Miękka / 942 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM 99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These...
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range o...
|
|
cena:
389,09 zł |
Robot Development Using Microsoft Robotics Developer Studio
ISBN: 9781439821657 / Angielski / Twarda / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Microsoftr Robotics Developer Studio (MSRDS) and LEGOr robots together offer a flexible platform for creating robotic systems. Designed for novices with basic programming skills, Robot Development Using Microsoftr Robotics Developer Studio provides clear instructions on developing and operating robots. It includes an extensive array of examples, with corresponding step-by-step tutorials and explanations. The first several chapters of the book introduce the development environment of MSRDS, including concurrency and coordination runtime (CCR), decentralized software services (DSS), visual...
The Microsoftr Robotics Developer Studio (MSRDS) and LEGOr robots together offer a flexible platform for creating robotic systems. Designed for novice...
|
|
cena:
987,43 zł |
Real Life Applications of Soft Computing
ISBN: 9781439822876 / Angielski / Twarda / 686 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rapid advancements in the application of soft computing tools and techniques have proven valuable in the development of highly scalable systems and resulted in brilliant applications, including those in biometric identification, interactive voice response systems, and data mining. Although many resources on the subject adequately cover the theoretic concepts, few provide clear insight into practical application. Filling this need, Real Life Applications of Soft Computing explains such applications, including the underlying technology and its implementation.... Rapid advancements in the application of soft computing tools and techniques have proven valuable in the development of highly scalable systems and... |
|
cena:
831,52 zł |
Fault-Tolerant Parallel and Distributed Systems
ISBN: 9780792380696 / Angielski / Twarda / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and every thing is inter-networked. The application will be dominated by storage, search, retrieval, analysis, exchange and updating of information in a wide variety of forms. Heavy demands will be placed on systems by many simultaneous re quests. And, fundamentally, all this shall be delivered at much higher levels of dependability, integrity and security. Increasingly, large parallel computing systems and networks are providing unique challenges to...
The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and ever...
|
|
cena:
583,65 zł |
Advanced Techniques in Computing Sciences and Software Engineering
ISBN: 9789048136599 / Angielski / Twarda / 599 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced Techniques in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Advanced Techniques in Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2008) which was part of the International Joint Conferences on... Advanced Techniques in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and det... |
|
cena:
778,22 zł |
Traffic Management and Traffic Engineering for the Future Internet: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 2008, Revised Sel
ISBN: 9783642045752 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designing the future internet requires an in-depth consideration of the mana- ment, dimensioningandtra?ccontrolissuesthatwillbe involvedinthe network operations of these networks. The International Workshop on Tra?c Mana- ment and Tra?c Engineering of the Future Internet, FITraMEn2008, organized 1 within the framework of the Network of Excellence Euro-NF, providedanopen forum to present and discuss new ideas in this area in the context of ?xed, wireless and spontaneous (ad hoc and sensor) networks. TheNetworkofExcellenceEuro-NF AnticipatingtheNetworkoftheFuture - From Theory to Design is a...
Designing the future internet requires an in-depth consideration of the mana- ment, dimensioningandtra?ccontrolissuesthatwillbe involvedinthe network ...
|
|
cena:
194,52 zł |
Management Enabling the Future Internet for Changing Business and New Computing Services: 12th Asia-Pacific Network Operations and Management Symposiu
ISBN: 9783642044915 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are delighted to present the proceedings of the 12th Asia-Paci?c Network Operations and Management Symposium (APNOMS 2009), which was held in Jeju, Korea, during September 23-25, 2009. Recently, various convergences in wired and wireless networks, and conv- gence of telecommunications and broadcastings, are taking place for ubiquitous multimedia service provisioning. For example, broadband IP/MPLS wired n- works are actively converged with IEEE 802.11e wireless LAN, IEEE 802.16 Wireless MAN, 3G/4G wireless cellular networks, and direct multimedia bro- cast (DMB) networks. For e?cient...
We are delighted to present the proceedings of the 12th Asia-Paci?c Network Operations and Management Symposium (APNOMS 2009), which was held in Jeju,...
|
|
cena:
389,09 zł |
Smart Sensing and Context: 4th European Conference, Eurossc 2009, Guildford, Uk, September 16-18, 2009. Proceedings
ISBN: 9783642044700 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 4th European Conference on Smart Se- ing and Context hosted by the Centre for Communication Systems Research, University of Surrey, in Guildford, UK. Smart sensing and context are the key enablers for e?ective autonomous systems, providing transparent technologies to realize the vision of ubiquitous computing, intelligent services and networking. (Wireless) Sensor and actuator networks, tightly integratedinto the structure of the Internet provide the und- lying manifestation of the physical world into the Internet of Things. Networked...
Welcome to the proceedings of the 4th European Conference on Smart Se- ing and Context hosted by the Centre for Communication Systems Research, Univer...
|
|
cena:
194,52 zł |
High Performance Algorithms and Software in Nonlinear Optimization
ISBN: 9780792354833 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a selection of papers presented at the conference on High Performance Software for Nonlinear Optimization (HPSN097) which was held in Ischia, Italy, in June 1997. The rapid progress of computer technologies, including new parallel architec- tures, has stimulated a large amount of research devoted to building software environments and defining algorithms able to fully exploit this new computa- tional power. In some sense, numerical analysis has to conform itself to the new tools. The impact of parallel computing in nonlinear optimization, which had a slow start at the...
This book contains a selection of papers presented at the conference on High Performance Software for Nonlinear Optimization (HPSN097) which was held ...
|
|
cena:
583,65 zł |
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, Uk, 9-11th February 2010
ISBN: 9781849960854 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial - on... Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 201... |
|
cena:
583,65 zł |
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, Asea 2009 Held as Part of the Future
ISBN: 9783642106187 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle...
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common t...
|
|
cena:
194,52 zł |
Distributed Database Management
ISBN: 9780470407455 / Angielski / Twarda / 768 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses issues related to managing data across a distributed database system. It is unique because it covers traditional database theory and current research, explaining the difficulties in providing a unified user interface and global data dictionary. The book gives implementers guidance on hiding discrepancies across systems and creating the illusion of a single repository for users. It also includes three sample frameworks--implemented using J2SE with JMS, J2EE, and Microsoft .Net--that readers can use to learn how to implement a distributed database management system. IT and...
This book addresses issues related to managing data across a distributed database system. It is unique because it covers traditional database theory a...
|
|
cena:
776,54 zł |
Information System Concepts: Towards a Consolidation of Views
ISBN: 9780412639500 / Angielski / Twarda / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and harmonisation of the numerous and widely diverging views in the field of information systems. This issue has become a hot topic, as many leading information system researchers and practitioners come to realise the importance of better communication among the members of the information systems community, and of a better scientific foundation of this rapidly evolving field.
This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and ha...
|
|
cena:
778,22 zł |